Assertion list
permeability (primary) → HasA

Results from Ascent++: 1
permeabilityHasA negative value 0.16