Assertion list for term "controlled by program".
Results from Ascent++: 2
operation → ReceivesAction → controlled by program 0.32
operation (aspect of cpu) → ReceivesAction → controlled by program 0.25