Assertion list
small bedroom (subgroup of bedroom ) → AtLocation
Results from Ascent++: 1
small bedroom → AtLocation → furnished and equipped mobileho… 0.25