Assertion list
polygon (primary) → IsA

Results from Ascent++: 3
polygonIsA closed figure 0.47
polygonIsA a plane figure 0.44
polygonIsA region 0.25