Assertion list
pericardium (primary) → HasProperty
Results from Ascent++: 2
pericardium → HasProperty → visible 0.33
pericardium → HasProperty → compliant 0.25