Issue 16693: ARM: Page 18, section 8.2.14 (sacm-rtf)
Source: Adelard LLP (Mr. Luke Emmet, loe(at)adelard.com)
Nature: Uncategorized Issue
Severity: 
Summary: : In the AssertedInference class, the invariants leave the possibility of inferring an AssertedRelationship from a set of claims. They do not, however, allow a Claim to be inferred from an AssertedRelationship. Since an AssertedRelationship is a kind of claim (not in the sense of the model, but in a general sense), it seems reasonable to allow it; that is, “I claim A because of the relationship between claims B and C”.
Resolution: 
Revised Text: 
Actions taken:
November 18, 2011: received issue
Discussion: 

End of Annotations:=====
s is issue # 16693

ARM: Page 18, section 8.2.14

: In the AssertedInference class, the invariants leave the possibility of inferring an AssertedRelationship from a set of claims. They do not, however, allow a Claim to be inferred from an AssertedRelationship. Since an AssertedRelationship is a kind of claim (not in the sense of the model, but in a general sense), it seems reasonable to allow it; that is, .I claim A because of the relationship between claims B and C..