Relation Building

RELATION1 and RELATION2 functions can be entered in a simpler form, which provides an automatic invocation.

The full form of RELATION2 is

INVOCATIONS(Relation,{RelationInvocation})

Control@ EQV RELATION2(RelationInvocation, TimeControl@, Object1, Object2)          

where an invocation of some relation is created as well (the order is not important).

To reduce the entry to a single line, the following form can be used. It still has the same number of parameters, but forces an invocation between the relation and the first parameter.

Control@ EQV Relation(RelationInvocation, TimeControl@, Object1, Object2)

 There is some necessary setting up, so the functional form will be recognised. Lists are created, named for the different relation functions, and relations placed in the lists.

Relation1% = {Grouping)

Relation2% = {Ownership, Possession, Transfer}