Assertion list
lie (primary) → IsA
Results from Ascent++: 2
lie → IsA → statement 0.37
lie → IsA → fact 0.26