Assertion list
service hotel (subgroup of hotel ) → HasProperty
Results from Ascent++: 2
service hotel → HasProperty → adjacent 0.25
service hotel → HasProperty → good 0.16