Assertion list
prostitute (primary) → HasProperty
Results from Ascent++: 2
prostitute → HasProperty → naked 0.25
prostitute → HasProperty → unionized 0.22