Assertion list
new hotel (subgroup of hotel ) → AtLocation
Results from Ascent++: 2
new hotel → AtLocation → the pipeline 0.29
new hotel → AtLocation → quiet and beautiful setting 0.16