Assertion list
mother (aspect of carol ) → IsA
Results from Ascent++: 1
mother → IsA → mortal woman 0.25