Assertion list for term "specified in any rules".
Results from Ascent++: 1
term (aspect of contract) → ReceivesAction → specified in any rules 0.21