Assertion list
imperfect produce (subgroup of produce ) → IsA
Results from Ascent++: 1
imperfect produce → IsA → friendly bunch 0.75