Handler  Firing condition
    =======  ================
       1     a(A)
       2     ...
       3     b(A) || c(C)
      ...