We use three basic types: E (Entity), Ev (Event), and Prop (Proposition).
the semantic types of expressions in our system are defined by the rule First-order language can be taken as a fragment of this system; apart from logical connectives and Figure 1: The mapping from syntactic categories to semantic types.