Assertion list for term "given under rule".

Results from Ascent++: 1
property (aspect of trust) ReceivesActiongiven under rule 0.25