Query:

Answer:

Model:

Justification: Expand All+1-1Collapse All

• on(A │{A #> 2,A #=< 5}) :-
  • tOn(2) :-
    • swa(2),
    • swb(2).
  • not tOffIn(2,A │{A #> 2,A #=< 5}) :-
    • not tOff(B │{B \= 5}) :-
      • not swc(B │{B \= 5}).
    • tOff(5) :-
      • swc(5),
      • swd(5).
• global_constraint :-
  • not o_chk_1 :-
    • not on(C │{C #> 0,C #=< 2}) :-
      • not tOn(D │{D \= 2}) :-
        • not swa(D │{D \= 2}).
      • proved(tOn(2)).
    • not on(E │{E #> 5}) :-
      • not tOn(F │{F \= 2}) :-
        • not swa(F │{F \= 2}).
      • proved(tOn(2)),
      • tOffIn(2,E │{E #> 5}) :-
        • tOff(5) :-
          • swc(5),
          • proved(swd(5)).
    • on(G │{G #> 2,G #=< 5}) :-
      • tOn(2) :-
        • swa(2),
        • proved(swb(2)).
      • not tOffIn(2,G │{G #> 2,G #=< 5}) :-
        • not tOff(H │{H \= 5}) :-
          • not swc(H │{H \= 5}).
        • proved(tOff(5)).
    • not off(G │{G #> 2,G #=< 5}) :-
      • not tOff(I │{I \= 5}) :-
        • not swc(I │{I \= 5}).
      • proved(tOff(5)).