Assertion list
white lie (subgroup of lie ) → IsA
Results from Ascent++: 1
white lie → IsA → lie 0.29