Assertion list
hair salon (subgroup of salon ) → HasProperty
Results from Ascent++: 2
hair salon → HasProperty → right 0.84
hair salon → HasProperty → successful 0.16