Assertion list
studio apartment (subgroup of apartment ) → IsA
Results from Ascent++: 1
studio apartment → IsA → apartment 0.31