Capability meta model & use cases
Inference rules
More
Rule R1
tells when a value of type MGV specifies another one of the same MGV type. Proof
Rule R2
tells when a value of type 2MGV specifies a value of type MGV. Proof
Rule R3
tells when a value of type ConstrainedValueMGV specifies a value of type MGV. Proof
Rule R4
tells when a value of type MGV specifies a value of type 2MGV. Proof
Rule R5
tells when a value of type 2MGV specifies another value of type 2MGV. Proof
Rule R6
Rule R7
tells when a value of type MGV specifies a value of type ConstrainedValueMGV. Proof
Rule R8
tells when a value of type 2MGV specifies a value of type ConstrainedValueMGV. Proof
Rule R9
value of type ConstrainedValueMGV specifies another of type ConstrainedValueMGV. Proof
Rule R10
tells when value of type MGV specifies a value of type FunctionalValueMGV. Proof
Rule R11
tells when a value of type 2MGV specifies a value of type FunctionalValueMGV. Proof
Rule R12
a value of type ConstrainedValueMGV specifies a value of type FunctionalValueMGV. Proof
Rule R13
a FunctionalValueMGV specifies a SingleValueMGV or a ConstrainedValueMGV . Proof
Rule R14
a value of type FunctionalValueMGV specifies a value of type FunctionalValueMGV. Proof
Rule R15
a value of type ConditionalValueMGV specifies a value of type ConditionalValueMGV. Proof
Rule R16
tells when a value of type ConditionalValueGV specifies a non conditional one. Proof
Rule R17
tells when a non conditional value specifies a value of type ConditionalValueMGV. Proof
Rule R18
tells when a non enumerated value specifies a value of type EnumerationValueMGV. Proof
Rule R19
tells when a value of type EnumerationValueMGV specifies a non enumerated one. Proof
Rule R20
value of type EnumerationValueMGV specifies a value of type EnumerationValueMGV. Proof
Rule R21
tells that a PropertyValueMGV always specifies its Most General Value (MGV ) Proof