Assertion list for term "left unoccupied".
Results from Ascent++: 2
property → ReceivesAction → left unoccupied 0.46
bit → ReceivesAction → left unoccupied 0.38