Assertion list
pleura (primary) → IsA
Results from Ascent++: 2
pleura → IsA → the membrane 0.64
pleura → IsA → two-layered membrane 0.40