Assertion list for term "applied to applicable logical rules".
Results from Ascent++: 1
operation → ReceivesAction → applied to applicable logical rules 0.31