Assertion list
pet dog (subgroup of dog ) → HasPrerequisite
Results from Ascent++: 1
pet dog → HasPrerequisite → a dog house 0.25