Assertion list
pit (primary) → IsA
Results from Ascent++: 2
pit → IsA → area 0.36
pit → IsA → hole 0.33