Assertion list for term "based on al3".

Results from Ascent++: 1
ion ReceivesActionbased on al3 0.25