Assertion list
boxer dog (subgroup of dog ) → HasProperty
Results from Ascent++: 2
boxer dog → HasProperty → great 0.59
boxer dog → HasProperty → friendly 0.21