Assertion list
owner (aspect of bulldog ) → HasProperty
Results from Ascent++: 1
owner → HasProperty → careful 0.16