Assertion list for term "available in strip".

Results from Ascent++: 1
alloy ReceivesActionavailable in strip 0.25