Assertion list
indifference curve (subgroup of curve ) → HasProperty

Results from Ascent++: 1
indifference curveHasProperty convex 0.39