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.