Assertion list for term "such programs".
Results from Ascent++: 1
state → HasA → such programs 0.45