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 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 {0} is name of {1} {0} has {1} {0} has {1} {0} is of {1} {0} has {1} {0} is of {1} {0} has {1} {0} constrains {1} {0} has minimum- {1} {0} has maximum- {1} {0} allows {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} objectifies {1} {0} is objectified 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} {0} has other- {1} other- {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} 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} 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} has facet called {1} {0} is a facet of {1} {0} is involved in {1} {0} involves {1} {0} is involved in {1} {0} involves {1} {0} defines {1} as having {2} {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} {0} has {1} {0} is of {1} {0} has {1} {0} is of {1} {0} has {1} {0} applies to {1} {0} applies to {1} {0} uses {1} {0} has {1} {0} is of {1} {0} has {1} {0} is for {1} {0} has {1} {0} is of {1} {0} is according to {1} {0} claims {1} {0} is involved in {1} {0} involves {1} {0} is involved in {1} {0} involves {1} {0} was added by {1} {0} covers {1} {0} was reached by {1} {0} agreed on {1} {0} is involved in {1} {0} involves {1} {0} is involved in {1} {0} involves {1} {0} was on {1} {0} is of {1} {0} objectifies {1} {0} is objectified as {1} {0} is in {1} {0} is of {1} {0} is represented by {1} {0} represents {1} {0} is a string {0} uses {1} for {2} {0} refers to {1} as {2} {0} applies to {1} in {2} {0} is involved in {1} {0} involves {1} {0} is involved in {1} {0} involves {1} {0} plays {1} {0} is played by {1} {0} is outer {0} provides {1} coefficient {0} uses coefficient from {1} is anti {0} {0} was lodged on {1} {0} has {1} {0} is of {1} {0} notifies {1} {0} is for {1} {0} contains {1} {0} is called {1} {0} is of {1} {0} is at {1} {0} is at {1} {0} is in {1} {0} includes {1} {0} is at {1} {0} is expanded {0} has {1} {0} has {1} {0} is for {1} {0} has {1} {0} is for {1} {0} has {1} {0} has {1} {0} is for {1} {0} is for {1} {0} has {1} {0} displays {1} in {2} position {0} displays in {1} position {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} {0} is for {1} {0} is for {1} {0} has {1} {0} is for {1} {0} has {1} {0} is for {1} {0} is for {1} {0} has {1} {0} is for {1} {0} has {1} {0} is attached to {1} {0} has {1} {0} is of {1} {0} has plural- {1} {0} is implied by {1} {0} implies {1} {0} has {1} {0} is of {1} {0} includes {1} {0} is in {1} {0} has {1} position {0} is for {1} {0} is referenced in {1} {0} has input- {1} {0} has output- {1} {0} has {1} {0} is of {1} {0} traverses {1} {0} directs {1} {0} includes {1} {0} connects to {1} {0} is involved in {1} {0} involves {1} {0} is involved in {1} {0} involves {1} {0} has {1} {0} has {1} {0} is of {1} {0} projects {1} {0} implies {1} {0} is implied by {1} {0} involves incidental- {1} {0} is incidentally involved in {1} {0} has auto- assigned {1} {0} has role- {1} {0} is of {1} {0} has {1} {0} is of {1} {0} has {1} {0} is of {1} {0} is described in {1} {0} describes {1} {0} is involved in {1} {0} involves {1} {0} is involved in {1} {0} involves {1} {0} is preferred {0} is for {1} {0} contains {1} {0} has values of facet- {1} {0} is involved in {1} {0} involves {1} {0} is implied by objectification Lexical representation unless a string Example and Reference populations are standard A Term Name may contain single spaces between words An Adjective may contain a single space between words The Vocabulary of the Reading must contain a Term for the players of all RoleRefs RoleRefs in the Reading's Role Sequence In the core Metamodel, FactTypes have Predicates and Predicates have ReadingText In this model, the Readings for a FactType which refer to Roles in the same sequence are of the same Predicate Adjectives are pre-bound and post-bound text A constraint is deontic if and only if it requires enforcement Not certain whether genders are useful Every role in a nested Fact Type or a unary Fact Type has an Implicit Fact Type with one extra role A Join Step involves two roles of the same Fact Type A Join Node refers to Roles, played by the Join Node's Object Type. A Join is a network of Join Nodes connected by Join Steps. These are used internally to manage unary fact types A Fact Type that directs a Join Step may be a Type Conversion Fact Type or Arithmetic Fact Type ValueTypes that can be auto-assigned at assert time are GUIDs or transaction numbers, which can be assigned without reference to the existing population. Predefined Facets Instance must have a Value if it is of an Object Type that is a Value Type Fact may not be objectified as an Instance unless its Fact Type is objectified