Assertion list for term "specified in the property restriction".
Results from Ascent++: 2
value (aspect of expression) → ReceivesAction → specified in the property restriction 0.35
value (aspect of parameter) → ReceivesAction → specified in the property restriction 0.34