Assertion list
windmill (primary) → IsA
Results from Ascent++: 2
windmill → IsA → machine 0.53
windmill → IsA → mill 0.49