Assertion list
product (aspect of monopolist ) → ReceivesAction
Results from Ascent++: 1
product → ReceivesAction → sold 0.25