Assertion list
search engine (primary) → IsA
Results from Ascent++: 2
search engine → IsA → program 0.71
search engine → IsA → general class of programs 0.34