DRT's combination of possible-worlds semantics and representations inherits the frame problem from b...