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} 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} 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} 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} {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} 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 called {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} belongs to {1} {0} contains {1} {0} applies to {1} {0} uses {1} {0} is called {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} plays {1} {0} is played by {1} {0} notifies {1} {0} has {1} {0} is of {1} {0} has unused dependency to force table in NORMA {0} provides {1} coefficient {0} uses coefficient from {1} {0} is outer is anti {0} {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} was lodged on {1} {0} has plural- {1} {0} has {1} {0} is of {1} {0} has input- {1} {0} has output- {1} {0} has {1} position {0} includes {1} {0} is in {1} {0} is implied by {1} {0} implies {1} {0} includes {1} {0} connects to {1} {0} has auto- assigned {1} {0} is for {1} {0} is referenced in {1} {0} traverses {1} {0} directs {1} {0} is involved in {1} {0} involves {1} {0} is involved in {1} {0} involves {1} {0} projects {1} {0} has {1} {0} has {1} {0} is of {1} {0} involves incidental- {1} {0} is incidentally involved in {1} {0} has {1} {0} is of {1} {0} has {1} {0} is of {1} {0} has {1} {0} applies to {1} {0} has {1} {0} applies to {1} {0} has role- {1} {0} is of {1} {0} has {1} {0} is of {1} {0} falls under {1} {0} covers {1} {0} is implied by objectification Lexical representation unless a string Example and Reference populations are standard A constraint is deontic if and only if it requires enforcement A Join is a network of Join Nodes connected by Join Steps. A Join Step involves two roles of the same fact type Every role in a nested Fact Type has an Implicit Fact Type with one extra role A Join Node refers to Roles, each played by the Join Node's Concept. A Name or Adjective may contain single spaces between words A Fact Type that directs a Join Step may be a Type Conversion Fact Type or Arithmetic Fact Type These are used internally to manage unary fact types ValueTypes that can be auto-assigned at assert time are GUIDs or transaction numbers, which can be assigned without reference to the existing population. A Disjunction requires one of its join steps to be taken