Assertion list
rental apartment (subgroup of apartment ) → AtLocation
Results from Ascent++: 1
rental apartment → AtLocation → the heart of the centre 0.16