Assertion list
demand curve (subgroup of curve ) → IsA
Results from Ascent++: 2
demand curve → IsA → downward sloping 0.48
demand curve → IsA → tangent 0.44