Assertion list
surface (primary) → IsA
Results from Ascent++: 1
surface → IsA → layer 0.34