Assertion list
firm mattress (subgroup of mattress ) → MadeOf
Results from Ascent++: 1
firm mattress → MadeOf → innerspring 0.31