Fill the "relation: object" pairs you wish, then submit.
You may add new pairs in the large text edit. For each object,
you may specify intervals, collections, quantifiers and relations.
The sub-menus '+' proposes relations.
Object examples are given, prefixed by "//".
Click here for details.