Assertion list
brain (aspect of zombie ) → HasProperty
Results from Ascent++: 1
brain → HasProperty → intact 0.16