 The predicates are related to each other by a set of four simple axioms (34)–(37). In these axioms, all variables are assumed to be universally quantified with maximal scope. We will come to the semantics of the implication when we have introduced the complete scenario. 