Assertion list for term "set a program record".
Results from Ascent++: 1
bison → CapableOf → set a program record 0.16