2.1.1.1. Transitive and ditransitive predicates