Assertion list
price (aspect of monopolist ) → IsA

Results from Ascent++: 2
priceIsA greater than marginal cost 0.48
priceIsA above average cost 0.38