Assertion list
exact sequence (subgroup of sequence ) → ReceivesAction
Results from Ascent++: 1
exact sequence → ReceivesAction → used to synthesize probe 0.68