Assertion list
public toilet (subgroup of toilet ) → ReceivesAction
Results from Ascent++: 1
public toilet → ReceivesAction → closed 0.16