Assertion list
brute fact (subgroup of fact ) → IsA
Results from Ascent++: 1
brute fact → IsA → fact 0.68