"Going to *the* bathroom" can also mean you
went out back and fertilized the lemon tree.
(i.e., not only is "the" often used
generically as "a", but also metaphorical).
Metaphor is too complex to deal with, IMHO, prior to the controlled
language JS describes. The problems of metaphor, at least as I see it,
are distinct from the problems of linguistic mappings from reality to FOL.
Metaphor happens after that step, when you MUST use inference to reach assertions
that cannot be directly read from the axioms.
Rich AT EnglishLogicKernel DOT com