Assertion list
body (aspect of vampire ) → HasProperty
Results from Ascent++: 2
body → HasProperty → fresh 0.54
body → HasProperty → human 0.38