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.
we allow for the consturctions such as !p q but not for other forms of constructions such as rVs where the exponential is put under the other connective, \.