Assertion list for term "occupied by sentry groups".

Results from Ascent++: 1
trench ReceivesActionoccupied by sentry groups 0.30