Assertion list
caul (primary) → IsA
Results from Ascent++: 2
caul → IsA → membrane 0.25
caul → IsA → thin, filmy membrane 0.25