Assertion list for term "specified by the type attribute".
Results from Ascent++: 1
type (aspect of variable) → ReceivesAction → specified by the type attribute 0.25