Assertion list
product (aspect of monopoly ) → HasA

Results from Ascent++: 1
productHasA close substitution 0.39