Assertion list
brothel (primary) → HasProperty
Results from Ascent++: 3
brothel → HasProperty → illegal 0.68
brothel → HasProperty → legal 0.31
brothel → HasProperty → open 0.16