Assertion list
old mattress (subgroup of mattress ) → CapableOf
Results from Ascent++: 1
old mattress → CapableOf → sag in the middle 0.33