Assertion list
old mattress (subgroup of mattress ) → HasProperty
Results from Ascent++: 3
old mattress → HasProperty → comfortable 0.50
old mattress → HasProperty → firm 0.23
old mattress → HasProperty → the best fit 0.16