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