MESON Chess Problem Database

Problem Display
PID: 137442 (2Kn2b1/4NPn1/3pNR1r/2B1k1P1/R3B3/1Qp5/qb2r3/8 w - - 0 1)

Llamas, Juan Garcia

HM., Problemas, 1968

2Kn2b1/4NPn1/3pNR1r/2B1k1P1/R3B3/1Qp5/qb2r3/8

#2

10 + 10

6490 yacpdb 2010

SOLUTION

  • SOUND
  • Sets
    • 1...Qb1
      • 2.Qd5#
    • 1...Qa1
      • 2.Qd5#
    • 1...Qa3
      • 2.Qd5#
    • 1...Qxa4
      • 2.Qd5#
    • 1...Rh1
      • 2.Sg6#
    • 1...Rh2
      • 2.Sg6#
    • 1...Rh3
      • 2.Sg6#
    • 1...Rh4
      • 2.Sg6#
    • 1...Rh5
      • 2.Sg6#
    • 1...Rg6
      • 2.Sxg6#
    • 1...Rh7
      • 2.Sg6#
    • 1...Rh8
      • 2.Sg6#
    • 1...Bc1
      • 2.Qxc3#
    • 1...Ba3
      • 2.Qxc3#
    • 1...Sf5
      • 2.Rxf5#
    • 1...Sh5
      • 2.Rf5#
    • 1...Sgxe6
      • 2.Rf5#
    • 1...Se8
      • 2.Rf5#
    • 1...Sc6
      • 2.Sxc6#
    • 1...Sdxe6
      • 2.Sc6#
    • 1...Sb7
      • 2.Sc6#
    • 1...Sxf7
      • 2.Sc6#
    • 1...c2
      • 2.Qg3#
    • 1...dxc5
      • 2.Qb8#
    • 1...d5
      • 2.Qb8#
  • Tries
    • 1.Kxd8?
      • threat
        • 2.Sc6#
      • 1...Qxa4
        • 2.Qd5#
      • 1...dxc5
        • 2.Qb8#
      • 1...Sxe6+!
    • 1.Sf4?
      • threat
        • 2.Sd3#
        • 2.Bxd6#
      • 1...Qxa4
        • 2.Qd5#
      • 1...Rxf6
        • 2.Sd3#
      • 1...Sxf7
        • 2.Sd3#
        • 2.Sc6#
      • 1...dxc5
        • 2.Sd3#
        • 2.Qb8#
      • 1...Sf5
        • 2.Sd3#
        • 2.Rxf5#
      • 1...Qb1
        • 2.Bxd6#
        • 2.Qd5#
      • 1...Qa3
        • 2.Sd3#
        • 2.Qd5#
      • 1...Re3
        • 2.Bxd6#
      • 1...Rh3
        • 2.Sfg6#
        • 2.Seg6#
        • 2.Bxd6#
      • 1...Ba3
        • 2.Sd3#
        • 2.Qxc3#
      • 1...Sge6
        • 2.Sd3#
        • 2.Rf5#
      • 1...Se8
        • 2.Sd3#
        • 2.Rf5#
      • 1...Sde6
        • 2.Sd3#
        • 2.Sc6#
      • 1...Sb7
        • 2.Sd3#
        • 2.Sc6#
      • 1...d5
        • 2.Sd3#
        • 2.Bd6#
        • 2.Qb8#
      • 1...Rd2!
    • 1.Sxg7?
      • threat
        • 2.Bxd6#
        • 2.Rf5#
      • 1...Qxa4
        • 2.Qd5#
      • 1...Sxf7
        • 2.Sc6#
        • 2.Rf5#
      • 1...dxc5
        • 2.Qb8#
      • 1...Rd2
        • 2.Rf5#
      • 1...Qa3
        • 2.Rf5#
        • 2.Qd5#
      • 1...Rf2
        • 2.Bxd6#
      • 1...Ba3
        • 2.Rf5#
        • 2.Qxc3#
      • 1...Bh7
        • 2.Bxd6#
      • 1...Se6
        • 2.Sc6#
        • 2.Rf5#
      • 1...Sb7
        • 2.Sc6#
        • 2.Rf5#
      • 1...d5
        • 2.Bd6#
        • 2.Rf5#
        • 2.Qb8#
      • 1...Rxf6!
    • 1.Sxd8?
      • threat
        • 2.Sec6#
        • 2.Sdc6#
        • 2.Bxd6#
      • 1...Qxa4
        • 2.Qd5#
      • 1...dxc5
        • 2.Sec6#
        • 2.Sdc6#
        • 2.Qb8#
      • 1...Sf5
        • 2.Rxf5#
      • 1...Rd2
        • 2.Sec6#
        • 2.Sdc6#
      • 1...Qa3
        • 2.Sec6#
        • 2.Sdc6#
        • 2.Qd5#
      • 1...Ba3
        • 2.Sec6#
        • 2.Sdc6#
        • 2.Qxc3#
      • 1...Se6
        • 2.Sec6#
        • 2.Sdc6#
        • 2.Rf5#
      • 1...Se8
        • 2.Sec6#
        • 2.Sdc6#
        • 2.Rf5#
      • 1...d5
        • 2.Sec6#
        • 2.Sdc6#
        • 2.Bd6#
        • 2.Qb8#
      • 1...Rxf6!
    • 1.Sf8?
      • threat
        • 2.Sd7#
        • 2.Bxd6#
      • 1...Qxa4
        • 2.Qd5#
      • 1...Sxf7
        • 2.Sc6#
        • 2.Sd7#
      • 1...dxc5
        • 2.Sd7#
        • 2.Qb8#
      • 1...Sf5
        • 2.Rxf5#
      • 1...Rd2
        • 2.Sd7#
      • 1...Qa3
        • 2.Sd7#
        • 2.Qd5#
      • 1...Ba3
        • 2.Sd7#
        • 2.Qxc3#
      • 1...Sge6
        • 2.Sd7#
        • 2.Rf5#
      • 1...Se8
        • 2.Sd7#
        • 2.Rf5#
      • 1...Sde6
        • 2.Sc6#
        • 2.Sd7#
      • 1...Sb7
        • 2.Sc6#
        • 2.Sd7#
      • 1...d5
        • 2.Sd7#
        • 2.Bd6#
        • 2.Qb8#
      • 1...Rxf6!
    • 1.Bb1?
      • threat
        • 2.Bd4#
      • 1...Qxb1
        • 2.Qd5#
      • 1...Qxa4
        • 2.Qd5#
      • 1...Sgxe6
        • 2.Rf5#
      • 1...Sdxe6
        • 2.Sc6#
      • 1...dxc5
        • 2.Qb8#
      • 1...Rd2
        • 2.Re4#
      • 1...Re4
        • 2.Rxe4#
      • 1...Rh4
        • 2.Sg6#
      • 1...Sf5
        • 2.Rxf5#
      • 1...Sc6
        • 2.Sxc6#
      • 1...c2
        • 2.Qg3#
      • 1...d5
        • 2.Qb8#
      • 1...Rc2!
    • 1.Bh1?
      • threat
        • 2.Bd4#
      • 1...Qxa4
        • 2.Qd5#
      • 1...Rxh1
        • 2.Sg6#
      • 1...Sgxe6
        • 2.Rf5#
      • 1...Sdxe6
        • 2.Sc6#
      • 1...dxc5
        • 2.Qb8#
      • 1...Rd2
        • 2.Re4#
      • 1...Re4
        • 2.Rxe4#
      • 1...Rh4
        • 2.Sg6#
      • 1...Sf5
        • 2.Rxf5#
      • 1...Sc6
        • 2.Sxc6#
      • 1...c2
        • 2.Qg3#
      • 1...d5
        • 2.Qb8#
      • 1...Rg2!
    • 1.Bc2?
      • threat
        • 2.Bd4#
      • 1...Qxa4
        • 2.Qd5#
      • 1...Sgxe6
        • 2.Rf5#
      • 1...Sdxe6
        • 2.Sc6#
      • 1...dxc5
        • 2.Qb8#
      • 1...Rd2
        • 2.Re4#
      • 1...Re4
        • 2.Rxe4#
      • 1...Rh4
        • 2.Sg6#
      • 1...Sf5
        • 2.Rxf5#
      • 1...Sc6
        • 2.Sxc6#
      • 1...d5
        • 2.Qb8#
      • 1...Rxc2!
    • 1.Bg2?
      • threat
        • 2.Bd4#
      • 1...Qxa4
        • 2.Qd5#
      • 1...Sgxe6
        • 2.Rf5#
      • 1...Sdxe6
        • 2.Sc6#
      • 1...dxc5
        • 2.Qb8#
      • 1...Rd2
        • 2.Re4#
      • 1...Re4
        • 2.Rxe4#
      • 1...Rh4
        • 2.Sg6#
      • 1...Sf5
        • 2.Rxf5#
      • 1...Sc6
        • 2.Sxc6#
      • 1...c2
        • 2.Qg3#
      • 1...d5
        • 2.Qb8#
      • 1...Rxg2!
    • 1.Bd3?
      • threat
        • 2.Bd4#
      • 1...Qxa4
        • 2.Qd5#
      • 1...Sgxe6
        • 2.Rf5#
      • 1...Sdxe6
        • 2.Sc6#
      • 1...dxc5
        • 2.Qb8#
      • 1...Re4
        • 2.Rxe4#
      • 1...Rh4
        • 2.Sg6#
      • 1...Sf5
        • 2.Rxf5#
      • 1...Sc6
        • 2.Sxc6#
      • 1...d5
        • 2.Qb8#
      • 1...c2!
    • 1.Bf3?
      • threat
        • 2.Bd4#
      • 1...Qxa4
        • 2.Qd5#
      • 1...Sgxe6
        • 2.Rf5#
      • 1...Sdxe6
        • 2.Sc6#
      • 1...dxc5
        • 2.Qb8#
      • 1...Rd2
        • 2.Re4#
      • 1...Re4
        • 2.Rxe4#
      • 1...Rh4
        • 2.Sg6#
      • 1...Sf5
        • 2.Rxf5#
      • 1...Sc6
        • 2.Sxc6#
      • 1...d5
        • 2.Qb8#
      • 1...c2!
    • 1.Bd5?
      • threat
        • 2.Bd4#
      • 1...Sgxe6
        • 2.Rf5#
      • 1...Sdxe6
        • 2.Sc6#
      • 1...dxc5
        • 2.Qb8#
      • 1...Rd2
        • 2.Re4#
      • 1...Re4
        • 2.Rxe4#
      • 1...Rh4
        • 2.Sg6#
      • 1...Sf5
        • 2.Rxf5#
      • 1...Sc6
        • 2.Sxc6#
      • 1...c2
        • 2.Qg3#
      • 1...Qxa4!
    • 1.Bf5?
      • threat
        • 2.Bd4#
      • 1...Qxa4
        • 2.Qd5#
      • 1...Sxf5
        • 2.Rxf5#
      • 1...Sdxe6
        • 2.Sc6#
      • 1...dxc5
        • 2.Qb8#
      • 1...Rd2
        • 2.Re4#
      • 1...Re4
        • 2.Rxe4#
      • 1...Rh4
        • 2.Sg6#
      • 1...Sc6
        • 2.Sxc6#
      • 1...c2
        • 2.Qg3#
      • 1...d5
        • 2.Qb8#
      • 1...Sgxe6!
    • 1.Bc6?
      • threat
        • 2.Bd4#
      • 1...Qxa4
        • 2.Qd5#
      • 1...Sgxe6
        • 2.Rf5#
      • 1...Sxc6
        • 2.Sxc6#
      • 1...dxc5
        • 2.Qb8#
      • 1...Rd2
        • 2.Re4#
      • 1...Re4
        • 2.Rxe4#
      • 1...Rh4
        • 2.Sg6#
      • 1...Sf5
        • 2.Rxf5#
      • 1...c2
        • 2.Qg3#
      • 1...d5
        • 2.Qb8#
      • 1...Sdxe6!
    • 1.Bg6?
      • threat
        • 2.Bd4#
      • 1...Qxa4
        • 2.Qd5#
      • 1...Rxg6
        • 2.Sxg6#
      • 1...Sgxe6
        • 2.Rf5#
      • 1...Sdxe6
        • 2.Sc6#
      • 1...dxc5
        • 2.Qb8#
      • 1...Rd2
        • 2.Re4#
      • 1...Re4
        • 2.Rxe4#
      • 1...Sf5
        • 2.Rxf5#
      • 1...Sc6
        • 2.Sxc6#
      • 1...c2
        • 2.Qg3#
      • 1...d5
        • 2.Qb8#
      • 1...Rh4!
    • 1.Bh7?
      • threat
        • 2.Bd4#
      • 1...Qxa4
        • 2.Qd5#
      • 1...Rxh7
        • 2.Sg6#
      • 1...Sgxe6
        • 2.Rf5#
      • 1...Sdxe6
        • 2.Sc6#
      • 1...dxc5
        • 2.Qb8#
      • 1...Rd2
        • 2.Re4#
      • 1...Re4
        • 2.Rxe4#
      • 1...Rh4
        • 2.Sg6#
      • 1...Rg6
        • 2.Sxg6#
      • 1...Sf5
        • 2.Rxf5#
      • 1...Sc6
        • 2.Sxc6#
      • 1...c2
        • 2.Qg3#
      • 1...d5
        • 2.Qb8#
      • 1...Bxh7!
    • 1.Rxa2?
      • threat
        • 2.Qd5#
      • 1...Kxe4
        • 2.Qd5#
      • 1...d5
        • 2.Qxd5#
      • 1...Rd2!
    • 1.Qxa2?
      • threat
        • 2.Qd5#
      • 1...d5
        • 2.Qxd5#
      • 1...Rd2!
    • 1.f8S?
      • threat
        • 2.Sd7#
      • 1...Qxa4
        • 2.Qd5#
      • 1...dxc5
        • 2.Qb8#
      • 1...Bxe6+!
  • Keys
    • 1.Ba8!
      • threat
        • 2.Bd4#
      • 1...Qxa4
        • 2.Qd5#
      • 1...Sgxe6
        • 2.Rf5#
      • 1...Sdxe6
        • 2.Sc6#
      • 1...dxc5
        • 2.Qb8#
      • 1...Rd2
        • 2.Re4#
      • 1...Re4
        • 2.Rxe4#
      • 1...Rh4
        • 2.Sg6#
      • 1...Sf5
        • 2.Rxf5#
      • 1...Sc6
        • 2.Sxc6#
      • 1...Sb7
        • 2.Sc6#
      • 1...c2
        • 2.Qg3#
      • 1...d5
        • 2.Qb8#

FEATURES

  • Static
    • TYPE = THREAT
    • CHANGED MATES = 0
    • ADDED MATES = 2
    • REMOVED MATES = 15
  • Sets
    • Q(a);N_GUARD::QAR1(A)
    • Q(a);N_GUARD,XR(B)::QAR1(A)
    • R(g);N_GUARD::S(H)
    • R(g);N_GUARD::S(H),XR(g)
    • B(b);N_GUARD::QAB(A),XP(d)
    • S(h);N_GUARD::R1(G),XS(h)
    • S(h);N_GUARD::R1(G)
    • S(h);N_GUARD,XS(F)::R1(G)
    • S(i);N_GUARD::S(H),XS(i)
    • S(i);N_GUARD,XS(F)::S(H)
    • S(i);N_GUARD::S(H)
    • S(i);N_GUARD,XP(I)::S(H)
    • P(d);OGATE::QAB(A)
    • P(f);OGATEB,XB(D)::QAB(A)
    • P(f);OGATEB::QAB(A)
  • Tries
    • Try
      • K(J);P-FLIGHT,XS(i)
      • Threat
        • S(H)
      • Vars
        • Q(a);N_GUARD,XR(B)::QAR1(A)
        • P(f);OGATEB,XB(D)::QAB(A)
      • Refutation
        • S(h);CHECK,XS(F)
    • Try
      • S(F);
      • Threat
        • DUALS(2)
      • Vars
        • Q(a);N_GUARD,XR(B)::QAR1(A)
        • R(g);XR(G)::S(F)
        • R(c);::B(D),XP(f)
      • Refutation
        • R(c);
    • Try
      • S(F);XS(h)
      • Threat
        • DUALS(2)
      • Vars
        • Q(a);N_GUARD,XR(B)::QAR1(A)
        • P(f);OGATEB,XB(D)::QAB(A)
        • R(c);::R1(G)
        • R(c);::B(D),XP(f)
        • B(j);::B(D),XP(f)
      • Refutation
        • R(g);XR(G)
    • Try
      • S(F);XS(i)
      • Threat
        • DUALS(3)
      • Vars
        • Q(a);N_GUARD,XR(B)::QAR1(A)
        • S(h);N_GUARD::R1(G),XS(h)
      • Refutation
        • R(g);XR(G)
    • Try
      • S(F);
      • Threat
        • DUALS(2)
      • Vars
        • Q(a);N_GUARD,XR(B)::QAR1(A)
        • S(h);N_GUARD::R1(G),XS(h)
        • R(c);::S(F)
      • Refutation
        • R(g);XR(G)
    • Try
      • B(C);
      • Threat
        • B(D)
      • Vars
        • Q(a);N_GUARD,XB(C)::QAR1(A)
        • Q(a);N_GUARD,XR(B)::QAR1(A)
        • S(h);N_GUARD,XS(F)::R1(G)
        • S(i);N_GUARD,XS(F)::S(H)
        • P(f);OGATEB,XB(D)::QAB(A)
        • R(c);N_GUARD::R1(B)
        • R(c);N_GUARD::R1(B),XR(c)
        • R(g);N_GUARD::S(H)
        • S(h);N_GUARD::R1(G),XS(h)
        • S(i);N_GUARD::S(H),XS(i)
        • P(d);OGATE::QAB(A)
        • P(f);OGATEB::QAB(A)
      • Refutation
        • R(c);
    • Try
      • B(C);
      • Threat
        • B(D)
      • Vars
        • Q(a);N_GUARD,XR(B)::QAR1(A)
        • R(g);N_GUARD,XB(C)::S(H)
        • S(h);N_GUARD,XS(F)::R1(G)
        • S(i);N_GUARD,XS(F)::S(H)
        • P(f);OGATEB,XB(D)::QAB(A)
        • R(c);N_GUARD::R1(B)
        • R(c);N_GUARD::R1(B),XR(c)
        • R(g);N_GUARD::S(H)
        • S(h);N_GUARD::R1(G),XS(h)
        • S(i);N_GUARD::S(H),XS(i)
        • P(d);OGATE::QAB(A)
        • P(f);OGATEB::QAB(A)
      • Refutation
        • R(c);
    • Try
      • B(C);
      • Threat
        • B(D)
      • Vars
        • Q(a);N_GUARD,XR(B)::QAR1(A)
        • S(h);N_GUARD,XS(F)::R1(G)
        • S(i);N_GUARD,XS(F)::S(H)
        • P(f);OGATEB,XB(D)::QAB(A)
        • R(c);N_GUARD::R1(B)
        • R(c);N_GUARD::R1(B),XR(c)
        • R(g);N_GUARD::S(H)
        • S(h);N_GUARD::R1(G),XS(h)
        • S(i);N_GUARD::S(H),XS(i)
        • P(f);OGATEB::QAB(A)
      • Refutation
        • R(c);XB(C)
    • Try
      • B(C);
      • Threat
        • B(D)
      • Vars
        • Q(a);N_GUARD,XR(B)::QAR1(A)
        • S(h);N_GUARD,XS(F)::R1(G)
        • S(i);N_GUARD,XS(F)::S(H)
        • P(f);OGATEB,XB(D)::QAB(A)
        • R(c);N_GUARD::R1(B)
        • R(c);N_GUARD::R1(B),XR(c)
        • R(g);N_GUARD::S(H)
        • S(h);N_GUARD::R1(G),XS(h)
        • S(i);N_GUARD::S(H),XS(i)
        • P(d);OGATE::QAB(A)
        • P(f);OGATEB::QAB(A)
      • Refutation
        • R(c);XB(C)
    • Try
      • B(C);
      • Threat
        • B(D)
      • Vars
        • Q(a);N_GUARD,XR(B)::QAR1(A)
        • S(h);N_GUARD,XS(F)::R1(G)
        • S(i);N_GUARD,XS(F)::S(H)
        • P(f);OGATEB,XB(D)::QAB(A)
        • R(c);N_GUARD::R1(B),XR(c)
        • R(g);N_GUARD::S(H)
        • S(h);N_GUARD::R1(G),XS(h)
        • S(i);N_GUARD::S(H),XS(i)
        • P(f);OGATEB::QAB(A)
      • Refutation
        • P(d);
    • Try
      • B(C);
      • Threat
        • B(D)
      • Vars
        • Q(a);N_GUARD,XR(B)::QAR1(A)
        • S(h);N_GUARD,XS(F)::R1(G)
        • S(i);N_GUARD,XS(F)::S(H)
        • P(f);OGATEB,XB(D)::QAB(A)
        • R(c);N_GUARD::R1(B)
        • R(c);N_GUARD::R1(B),XR(c)
        • R(g);N_GUARD::S(H)
        • S(h);N_GUARD::R1(G),XS(h)
        • S(i);N_GUARD::S(H),XS(i)
        • P(f);OGATEB::QAB(A)
      • Refutation
        • P(d);
    • Try
      • B(C);
      • Threat
        • B(D)
      • Vars
        • S(h);N_GUARD,XS(F)::R1(G)
        • S(i);N_GUARD,XS(F)::S(H)
        • P(f);OGATEB,XB(D)::QAB(A)
        • R(c);N_GUARD::R1(B)
        • R(c);N_GUARD::R1(B),XR(c)
        • R(g);N_GUARD::S(H)
        • S(h);N_GUARD::R1(G),XS(h)
        • S(i);N_GUARD::S(H),XS(i)
        • P(d);OGATE::QAB(A)
      • Refutation
        • Q(a);XR(B)
    • Try
      • B(C);
      • Threat
        • B(D)
      • Vars
        • Q(a);N_GUARD,XR(B)::QAR1(A)
        • S(h);OGATE,XB(C)::R1(G),XS(h)
        • S(i);N_GUARD,XS(F)::S(H)
        • P(f);OGATEB,XB(D)::QAB(A)
        • R(c);N_GUARD::R1(B)
        • R(c);N_GUARD::R1(B),XR(c)
        • R(g);N_GUARD::S(H)
        • S(i);N_GUARD::S(H),XS(i)
        • P(d);OGATE::QAB(A)
        • P(f);OGATEB::QAB(A)
      • Refutation
        • S(h);XS(F)
    • Try
      • B(C);
      • Threat
        • B(D)
      • Vars
        • Q(a);N_GUARD,XR(B)::QAR1(A)
        • S(h);N_GUARD,XS(F)::R1(G)
        • S(i);XB(C)::S(H),XS(i)
        • P(f);OGATEB,XB(D)::QAB(A)
        • R(c);N_GUARD::R1(B)
        • R(c);N_GUARD::R1(B),XR(c)
        • R(g);N_GUARD::S(H)
        • S(h);N_GUARD::R1(G),XS(h)
        • P(d);OGATE::QAB(A)
        • P(f);OGATEB::QAB(A)
      • Refutation
        • S(i);XS(F)
    • Try
      • B(C);
      • Threat
        • B(D)
      • Vars
        • Q(a);N_GUARD,XR(B)::QAR1(A)
        • R(g);XB(C)::S(H),XR(g)
        • S(h);N_GUARD,XS(F)::R1(G)
        • S(i);N_GUARD,XS(F)::S(H)
        • P(f);OGATEB,XB(D)::QAB(A)
        • R(c);N_GUARD::R1(B)
        • R(c);N_GUARD::R1(B),XR(c)
        • S(h);N_GUARD::R1(G),XS(h)
        • S(i);N_GUARD::S(H),XS(i)
        • P(d);OGATE::QAB(A)
        • P(f);OGATEB::QAB(A)
      • Refutation
        • R(g);
    • Try
      • B(C);
      • Threat
        • B(D)
      • Vars
        • Q(a);N_GUARD,XR(B)::QAR1(A)
        • R(g);N_GUARD,XB(C)::S(H)
        • S(h);N_GUARD,XS(F)::R1(G)
        • S(i);N_GUARD,XS(F)::S(H)
        • P(f);OGATEB,XB(D)::QAB(A)
        • R(c);N_GUARD::R1(B)
        • R(c);N_GUARD::R1(B),XR(c)
        • R(g);N_GUARD::S(H)
        • R(g);N_GUARD::S(H),XR(g)
        • S(h);N_GUARD::R1(G),XS(h)
        • S(i);N_GUARD::S(H),XS(i)
        • P(d);OGATE::QAB(A)
        • P(f);OGATEB::QAB(A)
      • Refutation
        • B(j);XB(C)
    • Try
      • R(B);XQ(a)
      • Threat
        • QAR1(A)
      • Vars
        • K(e);P-FLIGHT,XB(C)::QAB1(A)
        • P(f);::QAR1(A),XP(f)
      • Refutation
        • R(c);
    • Try
      • Q(A);XQ(a)
      • Threat
        • QAR1(A)
      • Vars
        • P(f);::QAR1(A),XP(f)
      • Refutation
        • R(c);
    • Try
      • P(I);
      • Threat
        • S(I)
      • Vars
        • Q(a);N_GUARD,XR(B)::QAR1(A)
        • P(f);OGATEB,XB(D)::QAB(A)
      • Refutation
        • B(j);CHECK,XS(F)
  • Actual
    • B(C);
    • Threat
      • B(D)
    • Vars
      • Q(a);N_GUARD,XR(B)::QAR1(A)
      • S(h);N_GUARD,XS(F)::R1(G)
      • S(i);N_GUARD,XS(F)::S(H)
      • P(f);OGATEB,XB(D)::QAB(A)
      • R(c);N_GUARD::R1(B)
      • R(c);N_GUARD::R1(B),XR(c)
      • R(g);N_GUARD::S(H)
      • S(h);N_GUARD::R1(G),XS(h)
      • S(i);N_GUARD::S(H),XS(i)
      • S(i);N_GUARD::S(H)
      • P(d);OGATE::QAB(A)
      • P(f);OGATEB::QAB(A)
HTML5 logo

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).