Assertion list
good roommate (subgroup of roommate ) → HasProperty
Results from Ascent++: 1
good roommate → HasProperty → respectful 0.59