Assertion list
father (aspect of jack ) → IsA
Results from Ascent++: 1
father → IsA → rich man 0.22