Assertion list
categorical imperative (primary) → ReceivesAction
Results from Ascent++: 1
categorical imperative → ReceivesAction → reformulated 0.25