Assertion list
permeability (aspect of membrane ) → HasProperty

Results from Ascent++: 1
permeabilityHasProperty high 0.81