Assertion list
aardvark (primary) → IsA
Results from Ascent++: 1
aardvark → IsA → nocturnal animals 0.53