Assertion list
old mattress (subgroup of mattress ) → ReceivesAction
Results from Ascent++: 3
old mattress → ReceivesAction → changed 0.59
old mattress → ReceivesAction → removed 0.55
old mattress → ReceivesAction → recycled 0.25