Assertion list
heterogeneous catalyst (subgroup of catalyst ) → ReceivesAction

Results from Ascent++: 1
heterogeneous catalystReceivesAction separated 0.25