Assertion list
mattress (primary) → PartOf
Results from Ascent++: 1
mattress → PartOf → the problem 0.17