Assertion list
choroid (primary) → IsA

Results from Ascent++: 1
choroidIsA thin membrane 0.25