Assertion list for term "detailed in rule".

Results from Ascent++: 1
lifter ReceivesActiondetailed in rule 0.25