Assertion list
polygon (primary) → IsA
Results from Ascent++: 3
polygon → IsA → closed figure 0.47
polygon → IsA → a plane figure 0.44
polygon → IsA → region 0.25