10.1.2 Concepts


A concept looks like one of the following:

  • [Human]
  • [Man: Alfred]
  • [Man: super]
  • [Man: super Alfred]
  • [Act: x_source]
  • [Person: y_target]
  • [Sex = Male]
  • [Situation = [Act: Drive]-agnt->[Man: Alfred]]

A concept conforms to these rules:

  1. A concept starts with '['.
  2. Right after the opening '[', there must be a concept type which is an identifier. The concept type must exist in the type hierarchy.

  3. After the concept type, there can optionally be a colon (':') followed by "something". This "something" can be either "super", "x_source", "y_target", an identifier, or any combination of these.

  4. There can then optionally be an "equals sign" ('='), followed by a value, either an identifier or a nested graph.

  5. The concept must end with ']'.

Note: These aren't the complete rules: Amine allows more than the above, but this will suffice for our purposes.

PrevLite: 10.1.1 Tokens and identifiers
NextLite: 10.1.3 Relations and Arcs

Prev: 10.1.1 Tokens and identifiers
Up: 10.1 CG syntax
Next: 10.1.3 Relations and Arcs