Problem Display
PID: 50680 (8/3B4/N7/2ppB3/1p2p1K1/nNP4R/PpkP1p2/Rb3Q2 w - - 0 1)

Heyl, Peter

Freie Presse, 2000

8/3B4/N7/2ppB3/1p2p1K1/nNP4R/PpkP1p2/Rb3Q2

#2

11 + 9


15391 Problemschach-Jahrbuch (2000) 2001

SOLUTION


  • SOUND
  • Sets
    • 1...Bxa2
      • 2.Qd1#
    • 1...Sc4
      • 2.Qxb1#
    • 1...Sb5
      • 2.Qxb1#
    • 1...bxa1Q
      • 2.Qc1#
    • 1...bxa1S
      • 2.Qc1#
    • 1...bxa1B
      • 2.Qc1#
    • 1...bxa1R
      • 2.Qc1#
    • 1...bxc3
      • 2.Rxc3#
    • 1...e3
      • 2.Bf5#
    • 1...c4
      • 2.Sxb4#
  • Tries
    • 1.Kf4?
      • 1...Bxa2
        • 2.Qd1#
      • 1...bxa1Q
        • 2.Qc1#
      • 1...bxa1S
        • 2.Qc1#
      • 1...bxa1B
        • 2.Qc1#
      • 1...bxa1R
        • 2.Qc1#
      • 1...bxc3
        • 2.Rxc3#
      • 1...Sc4
        • 2.Qxb1#
      • 1...Sb5
        • 2.Qxb1#
      • 1...e3
        • 2.Bf5#
      • 1...c4
        • 2.Sxb4#
      • 1...d4!
    • 1.Kh4?
      • 1...Bxa2
        • 2.Qd1#
      • 1...bxa1Q
        • 2.Qc1#
      • 1...bxa1S
        • 2.Qc1#
      • 1...bxa1B
        • 2.Qc1#
      • 1...bxa1R
        • 2.Qc1#
      • 1...bxc3
        • 2.Rxc3#
      • 1...Sc4
        • 2.Qxb1#
      • 1...Sb5
        • 2.Qxb1#
      • 1...e3
        • 2.Bf5#
      • 1...c4
        • 2.Sxb4#
      • 1...d4!
    • 1.Kg5?
      • 1...Bxa2
        • 2.Qd1#
      • 1...bxa1Q
        • 2.Qc1#
      • 1...bxa1S
        • 2.Qc1#
      • 1...bxa1B
        • 2.Qc1#
      • 1...bxa1R
        • 2.Qc1#
      • 1...bxc3
        • 2.Rxc3#
      • 1...Sc4
        • 2.Qxb1#
      • 1...Sb5
        • 2.Qxb1#
      • 1...e3
        • 2.Bf5#
      • 1...c4
        • 2.Sxb4#
      • 1...d4!
    • 1.Kh5?
      • 1...Bxa2
        • 2.Qd1#
      • 1...bxa1Q
        • 2.Qc1#
      • 1...bxa1S
        • 2.Qc1#
      • 1...bxa1B
        • 2.Qc1#
      • 1...bxa1R
        • 2.Qc1#
      • 1...bxc3
        • 2.Rxc3#
      • 1...Sc4
        • 2.Qxb1#
      • 1...Sb5
        • 2.Qxb1#
      • 1...e3
        • 2.Bf5#
      • 1...c4
        • 2.Sxb4#
      • 1...d4!
    • 1.Saxc5?
      • 1...Bxa2
        • 2.Qd1#
      • 1...bxa1Q
        • 2.Qc1#
      • 1...bxa1S
        • 2.Qc1#
      • 1...bxa1B
        • 2.Qc1#
      • 1...bxa1R
        • 2.Qc1#
      • 1...bxc3
        • 2.Rxc3#
      • 1...Sc4
        • 2.Qxb1#
      • 1...Sb5
        • 2.Qxb1#
      • 1...e3
        • 2.Bf5#
      • 1...d4!
    • 1.Bh2?
      • 1...Bxa2
        • 2.Qd1#
      • 1...bxa1Q
        • 2.Qc1#
      • 1...bxa1S
        • 2.Qc1#
      • 1...bxa1B
        • 2.Qc1#
      • 1...bxa1R
        • 2.Qc1#
      • 1...bxc3
        • 2.Rxc3#
      • 1...Sc4
        • 2.Qxb1#
      • 1...Sb5
        • 2.Qxb1#
      • 1...e3
        • 2.Bf5#
      • 1...c4
        • 2.Sxb4#
      • 1...d4!
    • 1.Bf4?
      • 1...Bxa2
        • 2.Qd1#
      • 1...bxa1Q
        • 2.Qc1#
      • 1...bxa1S
        • 2.Qc1#
      • 1...bxa1B
        • 2.Qc1#
      • 1...bxa1R
        • 2.Qc1#
      • 1...bxc3
        • 2.Rxc3#
      • 1...Sc4
        • 2.Qxb1#
      • 1...Sb5
        • 2.Qxb1#
      • 1...e3
        • 2.Bf5#
      • 1...c4
        • 2.Sd4#
        • 2.Sxb4#
      • 1...d4!
    • 1.Bd6?
      • 1...Bxa2
        • 2.Qd1#
      • 1...bxa1Q
        • 2.Qc1#
      • 1...bxa1S
        • 2.Qc1#
      • 1...bxa1B
        • 2.Qc1#
      • 1...bxa1R
        • 2.Qc1#
      • 1...bxc3
        • 2.Rxc3#
      • 1...Sc4
        • 2.Qxb1#
      • 1...Sb5
        • 2.Qxb1#
      • 1...e3
        • 2.Bf5#
      • 1...c4
        • 2.Sxb4#
      • 1...d4!
    • 1.Bf6?
      • 1...Bxa2
        • 2.Qd1#
      • 1...bxa1Q
        • 2.Qc1#
      • 1...bxa1S
        • 2.Qc1#
      • 1...bxa1B
        • 2.Qc1#
      • 1...bxa1R
        • 2.Qc1#
      • 1...bxc3
        • 2.Rxc3#
      • 1...Sc4
        • 2.Qxb1#
      • 1...Sb5
        • 2.Qxb1#
      • 1...e3
        • 2.Bf5#
      • 1...c4
        • 2.Sxb4#
      • 1...d4!
    • 1.Bc7?
      • 1...Bxa2
        • 2.Qd1#
      • 1...bxa1Q
        • 2.Qc1#
      • 1...bxa1S
        • 2.Qc1#
      • 1...bxa1B
        • 2.Qc1#
      • 1...bxa1R
        • 2.Qc1#
      • 1...bxc3
        • 2.Rxc3#
      • 1...Sc4
        • 2.Qxb1#
      • 1...Sb5
        • 2.Qxb1#
      • 1...e3
        • 2.Bf5#
      • 1...c4
        • 2.Sxb4#
      • 1...d4!
    • 1.Bg7?
      • 1...Bxa2
        • 2.Qd1#
      • 1...bxa1Q
        • 2.Qc1#
      • 1...bxa1S
        • 2.Qc1#
      • 1...bxa1B
        • 2.Qc1#
      • 1...bxa1R
        • 2.Qc1#
      • 1...bxc3
        • 2.Rxc3#
      • 1...Sc4
        • 2.Qxb1#
      • 1...Sb5
        • 2.Qxb1#
      • 1...e3
        • 2.Bf5#
      • 1...c4
        • 2.Sxb4#
      • 1...d4!
    • 1.Bb8?
      • 1...Bxa2
        • 2.Qd1#
      • 1...bxa1Q
        • 2.Qc1#
      • 1...bxa1S
        • 2.Qc1#
      • 1...bxa1B
        • 2.Qc1#
      • 1...bxa1R
        • 2.Qc1#
      • 1...bxc3
        • 2.Rxc3#
      • 1...Sc4
        • 2.Qxb1#
      • 1...Sb5
        • 2.Qxb1#
      • 1...e3
        • 2.Bf5#
      • 1...c4
        • 2.Sxb4#
      • 1...d4!
    • 1.Bh8?
      • 1...Bxa2
        • 2.Qd1#
      • 1...bxa1Q
        • 2.Qc1#
      • 1...bxa1S
        • 2.Qc1#
      • 1...bxa1B
        • 2.Qc1#
      • 1...bxa1R
        • 2.Qc1#
      • 1...bxc3
        • 2.Rxc3#
      • 1...Sc4
        • 2.Qxb1#
      • 1...Sb5
        • 2.Qxb1#
      • 1...e3
        • 2.Bf5#
      • 1...c4
        • 2.Sxb4#
      • 1...d4!
    • 1.Bb5?
      • 1...Bxa2
        • 2.Qd1#
      • 1...Sxb5
        • 2.Qxb1#
      • 1...bxa1Q
        • 2.Qc1#
      • 1...bxa1S
        • 2.Qc1#
      • 1...bxa1B
        • 2.Qc1#
      • 1...bxa1R
        • 2.Qc1#
      • 1...bxc3
        • 2.Rxc3#
      • 1...Sc4
        • 2.Qxb1#
      • 1...e3
        • 2.Bd3#
      • 1...c4
        • 2.Sxb4#
      • 1...d4!
    • 1.Bf5?
      • 1...Bxa2
        • 2.Qd1#
      • 1...bxa1Q
        • 2.Qc1#
      • 1...bxa1S
        • 2.Qc1#
      • 1...bxa1B
        • 2.Qc1#
      • 1...bxa1R
        • 2.Qc1#
      • 1...bxc3
        • 2.Rxc3#
      • 1...Sc4
        • 2.Qxb1#
      • 1...Sb5
        • 2.Qxb1#
      • 1...c4
        • 2.Sxb4#
      • 1...d4!
    • 1.Be6?
      • 1...Bxa2
        • 2.Qd1#
      • 1...bxa1Q
        • 2.Qc1#
      • 1...bxa1S
        • 2.Qc1#
      • 1...bxa1B
        • 2.Qc1#
      • 1...bxa1R
        • 2.Qc1#
      • 1...bxc3
        • 2.Rxc3#
      • 1...Sc4
        • 2.Qxb1#
      • 1...Sb5
        • 2.Qxb1#
      • 1...e3
        • 2.Bf5#
      • 1...c4
        • 2.Sxb4#
      • 1...d4!
    • 1.Bc8?
      • 1...Bxa2
        • 2.Qd1#
      • 1...bxa1Q
        • 2.Qc1#
      • 1...bxa1S
        • 2.Qc1#
      • 1...bxa1B
        • 2.Qc1#
      • 1...bxa1R
        • 2.Qc1#
      • 1...bxc3
        • 2.Rxc3#
      • 1...Sc4
        • 2.Qxb1#
      • 1...Sb5
        • 2.Qxb1#
      • 1...e3
        • 2.Bf5#
      • 1...c4
        • 2.Sxb4#
      • 1...d4!
    • 1.Be8?
      • 1...Bxa2
        • 2.Qd1#
      • 1...bxa1Q
        • 2.Qc1#
      • 1...bxa1S
        • 2.Qc1#
      • 1...bxa1B
        • 2.Qc1#
      • 1...bxa1R
        • 2.Qc1#
      • 1...bxc3
        • 2.Rxc3#
      • 1...Sc4
        • 2.Qxb1#
      • 1...Sb5
        • 2.Qxb1#
      • 1...e3
        • 2.Bg6#
      • 1...c4
        • 2.Sxb4#
      • 1...d4!
    • 1.Rxb1?
      • threat
        • 2.Qd1#
      • 1...e3
        • 2.Bf5#
      • 1...Sxb1!
    • 1.Re3?
      • 1...Bxa2
        • 2.Qd1#
      • 1...bxa1Q
        • 2.Qc1#
      • 1...bxa1S
        • 2.Qc1#
      • 1...bxa1B
        • 2.Qc1#
      • 1...bxa1R
        • 2.Qc1#
      • 1...bxc3
        • 2.Rxc3#
      • 1...Sc4
        • 2.Qxb1#
      • 1...Sb5
        • 2.Qxb1#
      • 1...c4
        • 2.Sxb4#
      • 1...d4!
    • 1.Rf3?
      • 1...Bxa2
        • 2.Qd1#
      • 1...bxa1Q
        • 2.Qc1#
      • 1...bxa1S
        • 2.Qc1#
      • 1...bxa1B
        • 2.Qc1#
      • 1...bxa1R
        • 2.Qc1#
      • 1...bxc3
        • 2.Rxc3#
      • 1...exf3
        • 2.Bf5#
      • 1...Sc4
        • 2.Qxb1#
      • 1...Sb5
        • 2.Qxb1#
      • 1...e3
        • 2.Bf5#
      • 1...c4
        • 2.Sxb4#
      • 1...d4!
    • 1.Rg3?
      • 1...Bxa2
        • 2.Qd1#
      • 1...bxa1Q
        • 2.Qc1#
      • 1...bxa1S
        • 2.Qc1#
      • 1...bxa1B
        • 2.Qc1#
      • 1...bxa1R
        • 2.Qc1#
      • 1...bxc3
        • 2.Rxc3#
      • 1...Sc4
        • 2.Qxb1#
      • 1...Sb5
        • 2.Qxb1#
      • 1...e3
        • 2.Bf5#
      • 1...c4
        • 2.Sxb4#
      • 1...d4!
    • 1.d3?
      • threat
        • 2.Qe2#
      • 1...Bxa2
        • 2.Qd1#
      • 1...exd3
        • 2.Qxd3#
      • 1...Sc4
        • 2.Qxb1#
      • 1...d4!
    • 1.d4?
      • threat
        • 2.Qe2#
      • 1...Bxa2
        • 2.Qd1#
      • 1...exd4 ep
        • 2.Qxd3#
      • 1...Sc4
        • 2.Qxb1#
      • 1...e3!
    • 1.cxb4?
      • threat
        • 2.Rc3#
      • 1...bxa1Q
        • 2.Qc1#
      • 1...bxa1S
        • 2.Qc1#
      • 1...bxa1B
        • 2.Qc1#
      • 1...bxa1R
        • 2.Qc1#
      • 1...cxb4
        • 2.Sxb4#
      • 1...Sb5
        • 2.Qxb1#
      • 1...e3
        • 2.Bf5#
      • 1...d4!
  • Keys
    • 1.Bd4!
      • 1...Bxa2
        • 2.Qd1#
      • 1...bxa1Q
        • 2.Qc1#
      • 1...bxa1S
        • 2.Qc1#
      • 1...bxa1B
        • 2.Qc1#
      • 1...bxa1R
        • 2.Qc1#
      • 1...bxc3
        • 2.Rxc3#
      • 1...cxd4
        • 2.Sxb4#
      • 1...Sc4
        • 2.Qxb1#
      • 1...Sb5
        • 2.Qxb1#
      • 1...e3
        • 2.Bf5#
      • 1...c4
        • 2.Sxb4#

FEATURES


  • Static
    • TYPE = INCOMPLETE_BLOCK
    • CHANGED MATES = 0
    • ADDED MATES = 1
    • REMOVED MATES = 0
  • Sets
    • B(a);XP(C)::QAB1(B)
    • S(e);N_GUARD::QAB1(B),XB(a)
    • P(b);N_GUARD,XR(A)::QAR1(B)
    • P(f);OGATE,XP(F)::R1(G),XP(f)
    • P(g);OGATEB::B(K)
    • P(h);N_GUARD::S(J),XP(f)
  • Tries
    • Try
      • K(H);P-FLIGHT
      • Vars
        • B(a);XP(C)::QAB1(B)
        • P(b);N_GUARD,XR(A)::QAR1(B)
        • P(f);OGATE,XP(F)::R1(G),XP(f)
        • S(e);N_GUARD::QAB1(B),XB(a)
        • P(g);OGATEB::B(K)
        • P(h);N_GUARD::S(J),XP(f)
      • Refutation
        • P(i);
    • Try
      • K(H);P-FLIGHT
      • Vars
        • B(a);XP(C)::QAB1(B)
        • P(b);N_GUARD,XR(A)::QAR1(B)
        • P(f);OGATE,XP(F)::R1(G),XP(f)
        • S(e);N_GUARD::QAB1(B),XB(a)
        • P(g);OGATEB::B(K)
        • P(h);N_GUARD::S(J),XP(f)
      • Refutation
        • P(i);
    • Try
      • K(H);P-FLIGHT
      • Vars
        • B(a);XP(C)::QAB1(B)
        • P(b);N_GUARD,XR(A)::QAR1(B)
        • P(f);OGATE,XP(F)::R1(G),XP(f)
        • S(e);N_GUARD::QAB1(B),XB(a)
        • P(g);OGATEB::B(K)
        • P(h);N_GUARD::S(J),XP(f)
      • Refutation
        • P(i);
    • Try
      • K(H);S_FLIGHT
      • Vars
        • B(a);XP(C)::QAB1(B)
        • P(b);N_GUARD,XR(A)::QAR1(B)
        • P(f);OGATE,XP(F)::R1(G),XP(f)
        • S(e);N_GUARD::QAB1(B),XB(a)
        • P(g);OGATEB::B(K)
        • P(h);N_GUARD::S(J),XP(f)
      • Refutation
        • P(i);
    • Try
      • S(J);XP(h)
      • Vars
        • B(a);XP(C)::QAB1(B)
        • P(b);N_GUARD,XR(A)::QAR1(B)
        • P(f);OGATE,XP(F)::R1(G),XP(f)
        • S(e);N_GUARD::QAB1(B),XB(a)
        • P(g);OGATEB::B(K)
      • Refutation
        • P(i);
    • Try
      • B(I);
      • Vars
        • B(a);XP(C)::QAB1(B)
        • P(b);N_GUARD,XR(A)::QAR1(B)
        • P(f);OGATE,XP(F)::R1(G),XP(f)
        • S(e);N_GUARD::QAB1(B),XB(a)
        • P(g);OGATEB::B(K)
        • P(h);N_GUARD::S(J),XP(f)
      • Refutation
        • P(i);
    • Try
      • B(I);
      • Vars
        • B(a);XP(C)::QAB1(B)
        • P(b);N_GUARD,XR(A)::QAR1(B)
        • P(f);OGATE,XP(F)::R1(G),XP(f)
        • S(e);N_GUARD::QAB1(B),XB(a)
        • P(g);OGATEB::B(K)
      • Refutation
        • P(i);
    • Try
      • B(I);
      • Vars
        • B(a);XP(C)::QAB1(B)
        • P(b);N_GUARD,XR(A)::QAR1(B)
        • P(f);OGATE,XP(F)::R1(G),XP(f)
        • S(e);N_GUARD::QAB1(B),XB(a)
        • P(g);OGATEB::B(K)
        • P(h);N_GUARD::S(J),XP(f)
      • Refutation
        • P(i);
    • Try
      • B(I);
      • Vars
        • B(a);XP(C)::QAB1(B)
        • P(b);N_GUARD,XR(A)::QAR1(B)
        • P(f);OGATE,XP(F)::R1(G),XP(f)
        • S(e);N_GUARD::QAB1(B),XB(a)
        • P(g);OGATEB::B(K)
        • P(h);N_GUARD::S(J),XP(f)
      • Refutation
        • P(i);
    • Try
      • B(I);
      • Vars
        • B(a);XP(C)::QAB1(B)
        • P(b);N_GUARD,XR(A)::QAR1(B)
        • P(f);OGATE,XP(F)::R1(G),XP(f)
        • S(e);N_GUARD::QAB1(B),XB(a)
        • P(g);OGATEB::B(K)
        • P(h);N_GUARD::S(J),XP(f)
      • Refutation
        • P(i);
    • Try
      • B(I);
      • Vars
        • B(a);XP(C)::QAB1(B)
        • P(b);N_GUARD,XR(A)::QAR1(B)
        • P(f);OGATE,XP(F)::R1(G),XP(f)
        • S(e);N_GUARD::QAB1(B),XB(a)
        • P(g);OGATEB::B(K)
        • P(h);N_GUARD::S(J),XP(f)
      • Refutation
        • P(i);
    • Try
      • B(I);
      • Vars
        • B(a);XP(C)::QAB1(B)
        • P(b);N_GUARD,XR(A)::QAR1(B)
        • P(f);OGATE,XP(F)::R1(G),XP(f)
        • S(e);N_GUARD::QAB1(B),XB(a)
        • P(g);OGATEB::B(K)
        • P(h);N_GUARD::S(J),XP(f)
      • Refutation
        • P(i);
    • Try
      • B(I);
      • Vars
        • B(a);XP(C)::QAB1(B)
        • P(b);N_GUARD,XR(A)::QAR1(B)
        • P(f);OGATE,XP(F)::R1(G),XP(f)
        • S(e);N_GUARD::QAB1(B),XB(a)
        • P(g);OGATEB::B(K)
        • P(h);N_GUARD::S(J),XP(f)
      • Refutation
        • P(i);
    • Try
      • B(K);
      • Vars
        • B(a);XP(C)::QAB1(B)
        • S(e);N_GUARD,XB(K)::QAB1(B),XB(a)
        • P(b);N_GUARD,XR(A)::QAR1(B)
        • P(f);OGATE,XP(F)::R1(G),XP(f)
        • S(e);N_GUARD::QAB1(B),XB(a)
        • P(g);N_GUARD::B(K)
        • P(h);N_GUARD::S(J),XP(f)
      • Refutation
        • P(i);
    • Try
      • B(K);P_PINP(g)
      • Vars
        • B(a);XP(C)::QAB1(B)
        • P(b);N_GUARD,XR(A)::QAR1(B)
        • P(f);OGATE,XP(F)::R1(G),XP(f)
        • S(e);N_GUARD::QAB1(B),XB(a)
        • P(h);N_GUARD::S(J),XP(f)
      • Refutation
        • P(i);
    • Try
      • B(K);
      • Vars
        • B(a);XP(C)::QAB1(B)
        • P(b);N_GUARD,XR(A)::QAR1(B)
        • P(f);OGATE,XP(F)::R1(G),XP(f)
        • S(e);N_GUARD::QAB1(B),XB(a)
        • P(g);OGATEB::B(K)
        • P(h);N_GUARD::S(J),XP(f)
      • Refutation
        • P(i);
    • Try
      • B(K);
      • Vars
        • B(a);XP(C)::QAB1(B)
        • P(b);N_GUARD,XR(A)::QAR1(B)
        • P(f);OGATE,XP(F)::R1(G),XP(f)
        • S(e);N_GUARD::QAB1(B),XB(a)
        • P(g);OGATEB::B(K)
        • P(h);N_GUARD::S(J),XP(f)
      • Refutation
        • P(i);
    • Try
      • B(K);
      • Vars
        • B(a);XP(C)::QAB1(B)
        • P(b);N_GUARD,XR(A)::QAR1(B)
        • P(f);OGATE,XP(F)::R1(G),XP(f)
        • S(e);N_GUARD::QAB1(B),XB(a)
        • P(g);OGATEB::B(K)
        • P(h);N_GUARD::S(J),XP(f)
      • Refutation
        • P(i);
    • Try
      • R(A);XB(a)
      • Threat
        • QAB1(B)
      • Vars
        • P(g);OGATEB::B(K)
      • Refutation
        • S(e);XR(A)
    • Try
      • R(G);
      • Vars
        • B(a);XP(C)::QAB1(B)
        • P(b);N_GUARD,XR(A)::QAR1(B)
        • P(f);OGATE,XP(F)::R1(G),XP(f)
        • S(e);N_GUARD::QAB1(B),XB(a)
        • P(h);N_GUARD::S(J),XP(f)
      • Refutation
        • P(i);
    • Try
      • R(G);
      • Vars
        • B(a);XP(C)::QAB1(B)
        • P(b);N_GUARD,XR(A)::QAR1(B)
        • P(f);OGATE,XP(F)::R1(G),XP(f)
        • P(g);OGATEB,XR(G)::B(K)
        • S(e);N_GUARD::QAB1(B),XB(a)
        • P(g);OGATEB::B(K)
        • P(h);N_GUARD::S(J),XP(f)
      • Refutation
        • P(i);
    • Try
      • R(G);
      • Vars
        • B(a);XP(C)::QAB1(B)
        • P(b);N_GUARD,XR(A)::QAR1(B)
        • P(f);OGATE,XP(F)::R1(G),XP(f)
        • S(e);N_GUARD::QAB1(B),XB(a)
        • P(g);OGATEB::B(K)
        • P(h);N_GUARD::S(J),XP(f)
      • Refutation
        • P(i);
    • Try
      • P(D);
      • Threat
        • QAR2(B)
      • Vars
        • B(a);XP(C)::QAB1(B)
        • P(g);OGATE,XP(D)::QAB1(B),XP(g)
        • S(e);N_GUARD::QAB1(B),XB(a)
      • Refutation
        • P(i);
    • Try
      • P(D);
      • Threat
        • QAR2(B)
      • Vars
        • B(a);XP(C)::QAB1(B)
        • P(g);EP,N_GUARD,XP(D)::QAB1(B),XP(g)
        • S(e);N_GUARD::QAB1(B),XB(a)
      • Refutation
        • P(g);
    • Try
      • P(F);XP(f)
      • Threat
        • R1(G)
      • Vars
        • P(b);N_GUARD,XR(A)::QAR1(B)
        • P(h);XP(F)::S(J),XP(h)
        • S(e);N_GUARD::QAB1(B),XB(a)
        • P(g);OGATEB::B(K)
      • Refutation
        • P(i);
  • Actual
    • B(I);
    • Vars
      • B(a);XP(C)::QAB1(B)
      • P(b);N_GUARD,XR(A)::QAR1(B)
      • P(f);OGATE,XP(F)::R1(G),XP(f)
      • P(h);N_GUARD,XB(I)::S(J),XP(f)
      • S(e);N_GUARD::QAB1(B),XB(a)
      • P(g);OGATEB::B(K)
      • P(h);N_GUARD::S(J),XP(f)


Developed and maintained by Brian Stephenson.
Implemented with HTML5, MySQL, Perl (with, inter alia, CGI::Simple, HTML::Template & XML::LibXML) & CSS/Javascript (jQuery, Bootstrap & DataTables).