Enter details about some object_program:

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.

url:

+

descr  of:	+	descr_container:	+
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