Assertion list
supply curve (subgroup of curve ) → HasProperty
Results from Ascent++: 2
supply curve → HasProperty → upward sloping 0.25
supply curve → HasProperty → vertical 0.25