Assertion list
healthy liver (subgroup of liver ) → HasProperty
Results from Ascent++: 2
healthy liver → HasProperty → essential 0.59
healthy liver → HasProperty → soft 0.25