Assertion list
inner membrane (subgroup of membrane ) → HasProperty
Results from Ascent++: 2
inner membrane → HasProperty → impermeable 0.68
inner membrane → HasProperty → invaginated 0.51