Assertion list for term "lowered into opening".

Results from Ascent++: 1
drop ReceivesActionlowered into opening 0.25