Enter details about some crux_of_the_matter:

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.

descr  of:	+	descr_container:	+
url:	+	description_instrument:	+
language:	+	format:	+
author:	+	authoring_date:	+
proof:	+	example:	+
Contributor:	+	Source:	+
relation_from_description     descr_container    logical_relation        and        contextualizing_logical_relation            or            xor            implication                equivalence    contextualizing_relation        modality        believer        overriding_specialization        corrective_statement            corrective_specialization                corrective_existential_specialization            corrective_generalization                corrective_existential_generalization            corrective_restriction            corrective_extension            corrective_reformulation            correction    probability_relation:    +

object  of:	+

Enter your username ,  password ,  and if you are a new user, a URI