Assertion list
public toilet (subgroup of toilet ) → HasProperty
Results from Ascent++: 2
public toilet → HasProperty → clean 0.67
public toilet → HasProperty → free 0.40