Assertion list
latrine (primary) → HasProperty
Results from Ascent++: 3
latrine → HasProperty → clean 0.69
latrine → HasProperty → full 0.38
latrine → HasProperty → safe 0.25