Assertion list for term "correspond to a predetermined instruction input".
Results from Ascent++: 1
program → CapableOf → correspond to a predetermined instruction input 0.31