Assertion list
atrium (primary) → IsA
Results from Ascent++: 1
atrium → IsA → chamber 0.25