After a new utterance is combined with the previous DRS, the complete newly constructed DRS is translated to first-order logic and checked for consistency, without appealing to previous inference results at all.
it does not presuppose that just any male person has an apartment, nor that some boxer or other creature owns an apartment.