Assertion list
dog (aspect of maltese ) → IsA
Results from Ascent++: 1
dog → IsA → companion 0.56