Assertion list
structure (primary) → IsA
Results from Ascent++: 2
structure → IsA → value types 0.52
structure → IsA → system 0.48