Assertion list
arch (primary) → IsA
Results from Ascent++: 3
arch → IsA → curved structure 0.59
arch → IsA → structure 0.45
arch → IsA → complex structure 0.35