Assertion list
new mattress (subgroup of mattress ) → HasProperty
Results from Ascent++: 6
new mattress → HasProperty → comfortable 0.59
new mattress → HasProperty → softer 0.42
new mattress → HasProperty → firm 0.33
new mattress → HasProperty → thick 0.32
new mattress → HasProperty → free 0.25
new mattress → HasProperty → small 0.16