Assertion list for term "locked in the basement".

Results from Ascent++: 1
guard ReceivesActionlocked in the basement 0.31