exact sequence subgroup of sequence, 1 assertions
ReceivesAction 1
used to synthesize probe 0.68