Assertion list
firm mattress (subgroup of mattress ) → IsA
Results from Ascent++: 1
firm mattress → IsA → the way 0.67