Assertion list
new mattress (subgroup of mattress ) → ReceivesAction
Results from Ascent++: 2
new mattress → ReceivesAction → delivered 0.51
new mattress → ReceivesAction → purchased 0.50