ENTITYTYPES:{Attribute, BusinessObject, DecreaseOfAccidentResult, Document, Function, Method, PhysicalMethod, PhysicalSeatBeltTest, Regulation, Safety, SeatBeltTest, VirtualMethod}
VALUETYPES:{AttributeName, BusinessObjectName, Cost, FunctionName, MethodName, Quality, Time}
RELATIONS:{IsIdentifiedByAttributeName, IsIdentifiedByFunctionName, IsIdentifiedByMethodName, IsIdentifiedByBusinessObjectName, HasCost, HasQuality, HasTime, IsAssuredBy, TestedBy, IsDocumentedIn, HasAlternative}

LOC-ROLES-INDEX(HasAlternative.Method1,1)
LOC-ROLES-INDEX(HasAlternative.Method2,2)
LOC-ROLES-INDEX(HasCost.Method,1)
LOC-ROLES-INDEX(HasCost.Cost,2)
LOC-ROLES-INDEX(HasQuality.Method,1)
LOC-ROLES-INDEX(HasQuality.Quality,2)
LOC-ROLES-INDEX(HasTime.Method,1)
LOC-ROLES-INDEX(HasTime.Time,2)
LOC-ROLES-INDEX(IsAssuredBy.Attribute,1)
LOC-ROLES-INDEX(IsAssuredBy.Function,2)
LOC-ROLES-INDEX(IsDocumentedIn.Method,1)
LOC-ROLES-INDEX(IsDocumentedIn.Document,2)
LOC-ROLES-INDEX(IsIdentifiedByAttributeName.Attribute,1)
LOC-ROLES-INDEX(IsIdentifiedByAttributeName.AttributeName,2)
LOC-ROLES-INDEX(IsIdentifiedByBusinessObjectName.BusinessObject,1)
LOC-ROLES-INDEX(IsIdentifiedByBusinessObjectName.BusinessObjectName,2)
LOC-ROLES-INDEX(IsIdentifiedByFunctionName.Function,1)
LOC-ROLES-INDEX(IsIdentifiedByFunctionName.FunctionName,2)
LOC-ROLES-INDEX(IsIdentifiedByMethodName.Method,1)
LOC-ROLES-INDEX(IsIdentifiedByMethodName.MethodName,2)
LOC-ROLES-INDEX(TestedBy.Function,1)
LOC-ROLES-INDEX(TestedBy.Method,2)
LOC-ROLES-INDEX(HasCost.Method,1)
LOC-ROLES-INDEX(HasQuality.Method,1)
LOC-ROLES-INDEX(HasTime.Method,1)
LOC-ROLES-INDEX(IsIdentifiedByAttributeName.Attribute,1)
LOC-ROLES-INDEX(IsIdentifiedByBusinessObjectName.BusinessObject,1)
LOC-ROLES-INDEX(IsIdentifiedByFunctionName.Function,1)
LOC-ROLES-INDEX(IsIdentifiedByMethodName.Method,1)



TYPE(HasAlternative.Method1,Method)
TYPE(HasAlternative.Method2,Method)
TYPE(HasCost.Method,Method)
TYPE(HasCost.Cost,Cost)
TYPE(HasQuality.Method,Method)
TYPE(HasQuality.Quality,Quality)
TYPE(HasTime.Method,Method)
TYPE(HasTime.Time,Time)
TYPE(IsAssuredBy.Attribute,Attribute)
TYPE(IsAssuredBy.Function,Function)
TYPE(IsDocumentedIn.Method,Method)
TYPE(IsDocumentedIn.Document,Document)
TYPE(IsIdentifiedByAttributeName.Attribute,Attribute)
TYPE(IsIdentifiedByAttributeName.AttributeName,AttributeName)
TYPE(IsIdentifiedByBusinessObjectName.BusinessObject,BusinessObject)
TYPE(IsIdentifiedByBusinessObjectName.BusinessObjectName,BusinessObjectName)
TYPE(IsIdentifiedByFunctionName.Function,Function)
TYPE(IsIdentifiedByFunctionName.FunctionName,FunctionName)
TYPE(IsIdentifiedByMethodName.Method,Method)
TYPE(IsIdentifiedByMethodName.MethodName,MethodName)
TYPE(TestedBy.Function,Function)
TYPE(TestedBy.Method,Method)
MAND({HasCost.Method},Method)
MAND({HasQuality.Method},Method)
MAND({HasTime.Method},Method)

MAND({IsIdentifiedByAttributeName.Attribute},Attribute)
MAND({IsIdentifiedByBusinessObjectName.BusinessObject},BusinessObject)
MAND({IsIdentifiedByFunctionName.Function},Function)
MAND({IsIdentifiedByMethodName.Method},Method)

FREQ({IsIdentifiedByAttributeName.AttributeName},(1,1))
FREQ({IsIdentifiedByFunctionName.FunctionName},(1,1))
FREQ({IsIdentifiedByMethodName.MethodName},(1,1))
FREQ({IsIdentifiedByBusinessObjectName.BusinessObjectName},(1,1))
FREQ({HasCost.Method},(1,1))
FREQ({HasQuality.Method},(1,1))
FREQ({HasTime.Method},(1,1))
FREQ({IsIdentifiedByAttributeName.Attribute},(0,1))
FREQ({IsIdentifiedByFunctionName.Function},(0,1))
FREQ({IsIdentifiedByMethodName.Method},(0,1))
FREQ({IsIdentifiedByBusinessObjectName.BusinessObject},(0,1))
FREQ({IsAssuredBy.Attribute,IsAssuredBy.Function},(1,1))
FREQ({TestedBy.Function,TestedBy.Method},(1,1))
FREQ({IsDocumentedIn.Method,IsDocumentedIn.Document},(1,1))
FREQ({HasAlternative.Method1,HasAlternative.Method2},(1,1))
O-SETisa({DecreaseOfAccidentResult},Safety)
O-SETisa({Document},BusinessObject)
O-SETisa({PhysicalSeatBeltTest},PhysicalMethod)
O-SETisa({Regulation},Document)
O-SETisa({Safety},Attribute)
O-SETisa({SeatBeltTest},VirtualMethod)
O-SETtot({PhysicalMethod,VirtualMethod},Method)
O-SETex({PhysicalMethod,VirtualMethod},Method)