Assertion list
mustard seed (primary) → IsA
Results from Ascent++: 2
mustard seed → IsA → the smallest seed 0.63
mustard seed → IsA → smaller than all the seeds 0.39