Assertion list
owner (aspect of dog ) → HasPrerequisite
Results from Ascent++: 1
owner → HasPrerequisite → time 0.44