Assertion list for term "based on igo".

Results from Ascent++: 1
pda ReceivesActionbased on igo 0.30