Bank.relast

RoleRag ::= NaturalType* RoleType* Fulfillment*;
Attribute ::= <Name> <Value>;
RoleType ::= <Name> Attribute*;
rel RoleType.Incoming* -> Relationship;
rel RoleType.Outgoing* -> Relationship;
NaturalType ::= <Name> Attribute*; // OriginalAttributes:Attribute* Roles:RoleType*;
rel NaturalType.Fulfillment* -> Fulfillment;
Fulfillment;
rel Fulfillment.Filler -> NaturalType;
rel Fulfillment.Filled -> RoleType;
Relationship ::= <Name>;
rel Relationship.First -> RoleType;
rel Relationship.Second -> RoleType;
Irreflexive;
rel Irreflexive.Relation <-> Relationship.Irreflexive?;

Person : NaturalType;
Consultant : RoleType;
Customer : RoleType;

//PersonFillsConsultant : Fulfillment ::= Filler:Person Filled:Consultant;
//PersonFillsConsultant;
//rel PersonFillsConsultant.Filler -> Person;
//rel PersonFillsConsultant.Filled -> Consultant;

//PersonFillsCustomer : Fulfillment ::= Filler:Person Filled:Customer;