The Numerator is a decimal literal which may not need a denominator The Denominator allows exact representation of decimal fractions A PresenceConstraint is internal if all Roles of its RoleSequence are of the same FactType, else it's external {0} is called {1} {0} belongs to {1} {0} contains {1} {0} is subtype of super- {1} {0} is supertype of {1} {0} is subtype of super- {1} {0} is supertype of sub- {1} {0} is involved in {1} {0} involves {1} {0} is involved in {1} {0} involves {1} {0} provides identification {0} has {1} role played by {2} {0} plays role in {1} in {2} place {0} plays {1} role in {2} {0} has role- {1} role- {0} is name of {1} {0} has {1} {0} is of {1} {0} has {1} {0} is of {1} {0} has {1} {0} is of {1} {0} has {1} {0} has minimum- {1} {0} has maximum- {1} {0} allows {1} {0} is of {1} {0} has {1} {0} is of {1} {0} is derived from base- {1} {0} is involved in {1} {0} involves {1} {0} is involved in {1} {0} involves {1} {0} has {1} {0} is precise {0} has {1} {0} has {1} {0} has {1} {0} has role- {1} {0} applies to {1} {0} is independent {0} is of {1} {0} is called {1} {0} has {1} {0} is of {1} {0} nests {1} {0} is nested as {1} {0} has {1} {0} is for {1} {0} has leading- {1} {0} has trailing- {1} {0} has {1} {0} is in {1} {0} is for {1} {0} is of {1} {0} has {1} other- {0} is of {1} {0} has other- {1} {0} has {1} {0} is of {1} {0} is of {1} {0} is called {1} {0} requires {1} {0} applies to {1} {0} has {1} {0} is of {1} {0} has in {1} position {2} {0} is {1} in {2} in {0} position {1} has {2} {0} has {1} in {2} position {0} is involved in {1} {0} involves {1} {0} is involved in {1} {0} involves {1} {0} covers {1} {0} in {1} position includes {2} {0} is in {1} in {2} place {0} includes {1} in {2} place {0} has {1} place in {2} {0} is involved in {1} {0} involves {1} {0} is involved in {1} {0} involves {1} {0} covers superset- {1} {0} covers subset- {1} {0} is of {1} {0} has max- {1} {0} has min- {1} {0} has {1} {0} is of {1} {0} has {1} {0} is of {1} {0} has {1} {0} is of {1} {0} includes {1} {0} belongs to {1} {0} includes {1} {0} belongs to {1} {0} has {1} {0} is of {1} {0} is of {1} {0} includes {1} {0} belongs to {1} {0} fulfils {1} {0} includes {1} {0} plays {1} {0} is of {1} {0} is of {1} {0} includes {1} {0} belongs to {1} {0} has {1} {0} is of {1} {0} is inclusive {0} is in {1} position {0} reading for fact type is {1} Only valid when min- and max- frequency is one {0} is preferred identifier {0} is mandatory {0} is involved in {1} {0} involves {1} {0} is mandatory {0} is fundamental {0} contains {1} {0} belongs to {1} {0} is involved in {1} {0} involves {1} {0} is involved in {1} {0} involves {1} {0} is involved in {1} {0} involves {1} {0} has {1} join {0} is involved in {1} {0} involves {1} {0} is involved in {1} {0} involves {1} {0} has input- {1} {0} has output- {1} {0} is called {1} {0} traverses {1} {0} is traversed by {1} {0} is involved in {1} {0} involves {1} {0} is involved in {1} {0} involves {1} {0} is involved in {1} {0} involves {1} {0} uses {1} {0} has {1} {0} includes {1} {0} is in {1} {0} is a parameter of {1} {0} has parameter called {1} {0} is involved in {1} {0} involves {1} {0} is involved in {1} {0} involves {1} {0} for {1} applies to {2} {0} is involved in {1} {0} involves {1} {0} is involved in {1} {0} involves {1} {0} is involved in {1} {0} involves {1} Lexical representation Example and Reference populations are standard Values are stored using the lexical representation