Overview Schemas Index

Set_theory_arm         

ENTITY Proper_subset;
          id : STRING;
          name : STRING;
          description : OPTIONAL STRING;
          subset : Class;
          superset : Class;
END_ENTITY; -- Proper_subset

Entity data types and their attributes

Proper_subset
          id: STRING;
          name: STRING;
          (OPT) description: STRING;
          subset: Class;
          superset: Class;

Users: by entity attributes

Proper_subset

Users: by defined types, not used by any entity attribute

Proper_subset
          -

Global rules for this entity data type

          -