The extra-linguistic knowledge that the speaker is male may be indicated by describing the fact with some conjunction like where: e. where male( ) When the extra item is added as in (5), the effect is usually taken into account by restricting the domain where the semantic representation should be interpreted.
per son(i) When combined with the set of axioms (4), the axiom turns the give semantic representation into the ohter below: aru I (vehicle(x) 3.4 Points to note We ensure that the exponential, !, should not distribute under any other connectives but the multiplicative one.