Assertion list
new mattress (subgroup of mattress ) → IsA
Results from Ascent++: 3
new mattress → IsA → big change 0.32
new mattress → IsA → major investment 0.16
new mattress → IsA → the solution 0.13