Rule ecvqizggjesrnsqx

[id: ecvqizggjesrnsqx] input(who can $write $programs)
  && fact($_q_writes is third person for $_q_write)
  && fact(a $programmer $writes $programs)
  => output(any good $programmer)

Loaded as

[id: ecvqizggjesrnsqx] input(who can $write $programs) && fact($_q_writes is third person for $_q_write) && fact(a $programmer $writes $programs|an $programmer $writes $programs) => output(any good $programmer)