The TABLE statement
This statement will be available in Ampersand vs. 4.
This statement provides syntactic sugar for defining tabular information conveniently. It introduces a number of relations and rules in a single statement, to simplify a script.
where:
<label> is the name of the rule. It can be a single word or a string (enclosed by double brackets). It is followed by a colon (:) to distinguish the label from the concept that follows.
<Concept> is the name of the Concept for atoms of which the rule specifies an identity
Semantics by example
translates into the following declarations:
Multiplicity annotations are allowed. For example:
translates into the following declarations:
This statement makes nice combinations with the IDENT statement. For example to define two identities for persons:
This states that a person is uniquely defined by ssn, but also by the combination of name, birthplace, and birthdate. This statement can also be used to objectify (reify) an term e
If a user is tempted to replace the Create/Delete pair with a single equivalence, this becomes: