Problem Display
PID: 180771 (6K1/n5N1/P2B1R2/R2pPpn1/1p1k4/NP3q1P/2Q2P2/5B2 w - - 0 1)

Fleiuss, J Roxo

Phenix, 1991

6K1/n5N1/P2B1R2/R2pPpn1/1p1k4/NP3q1P/2Q2P2/5B2

#2

13 + 7


SOLUTION


  • SOUND
  • Sets
    • 1...Qd1
      • 2.Sxf5#
    • 1...Qh1
      • 2.Sxf5#
      • 2.Qd3#
    • 1...Qe2
      • 2.Sxf5#
    • 1...Qg2
      • 2.Sxf5#
      • 2.Qd3#
    • 1...Qe4
      • 2.Qb2#
      • 2.Qc5#
    • 1...Qg4
      • 2.Qd3#
    • 1...Qh5
      • 2.Sxf5#
      • 2.Qd3#
    • 1...Qxf2
      • 2.Qd3#
    • 1...Qxb3
      • 2.Sxf5#
    • 1...Qc3
      • 2.Sxf5#
    • 1...Qd3
      • 2.Qxd3#
    • 1...Qe3
      • 2.Sxf5#
    • 1...Qg3
      • 2.Sxf5#
    • 1...Qf4
      • 2.Qd3#
    • 1...Sxh3
      • 2.Se6#
    • 1...Se4
      • 2.Se6#
    • 1...Se6
      • 2.Sxe6#
    • 1...Sf7
      • 2.Se6#
    • 1...Sh7
      • 2.Se6#
    • 1...Sb5
      • 2.Sxb5#
    • 1...Sc6
      • 2.Sb5#
    • 1...Sc8
      • 2.Sb5#
    • 1...bxa3
      • 2.Ra4#
    • 1...f4
      • 2.Sf5#
  • Tries
    • 1.Sc4?
      • threat
        • 2.Bc5#
      • 1...dxc4
        • 2.Qxc4#
      • 1...Qd3
        • 2.Qxd3#
      • 1...Se4
        • 2.Se6#
      • 1...Se6
        • 2.Sxe6#
      • 1...Sb5!
    • 1.Be2?
      • 1...Qxe2
        • 2.Sxf5#
      • 1...Qxf2
        • 2.Qd3#
      • 1...Qxb3
        • 2.Sxf5#
      • 1...Sxh3
        • 2.Se6#
      • 1...bxa3
        • 2.Ra4#
      • 1...Qd3
        • 2.Qxd3#
      • 1...Sb5
        • 2.Sxb5#
      • 1...Qh1
        • 2.Sxf5#
        • 2.Qd3#
      • 1...Qg2
        • 2.Sxf5#
        • 2.Qd3#
      • 1...Qe4
        • 2.Qb2#
        • 2.Qc5#
      • 1...Qg4
        • 2.Qd3#
      • 1...Qh5
        • 2.Sxf5#
        • 2.Qd3#
      • 1...Qc3
        • 2.Sxf5#
      • 1...Qe3
        • 2.Sxf5#
      • 1...Qg3
        • 2.Sxf5#
      • 1...Qf4
        • 2.Qd3#
      • 1...Se4
        • 2.Se6#
      • 1...Se6
        • 2.Sxe6#
      • 1...Sf7
        • 2.Se6#
      • 1...Sh7
        • 2.Se6#
      • 1...Sc6
        • 2.Sb5#
      • 1...Sc8
        • 2.Sb5#
      • 1...f4
        • 2.Sf5#
      • 1...Qxh3!
    • 1.Bc4?
      • 1...Qxf2
        • 2.Qd3#
      • 1...Qxb3
        • 2.Sxf5#
        • 2.Rxd5#
      • 1...Qxh3
        • 2.Rxd5#
      • 1...Sxh3
        • 2.Se6#
      • 1...dxc4
        • 2.Qxc4#
      • 1...Qd3
        • 2.Qxd3#
      • 1...Sb5
        • 2.Sxb5#
      • 1...Qd1
        • 2.Sxf5#
        • 2.Rxd5#
      • 1...Qh1
        • 2.Sxf5#
        • 2.Qd3#
      • 1...Qe2
        • 2.Sxf5#
        • 2.Rxd5#
      • 1...Qg2
        • 2.Sxf5#
        • 2.Qd3#
      • 1...Qe4
        • 2.Qb2#
      • 1...Qg4
        • 2.Rxd5#
        • 2.Qd3#
      • 1...Qh5
        • 2.Sxf5#
        • 2.Rxd5#
        • 2.Qd3#
      • 1...Qc3
        • 2.Sxf5#
        • 2.Rxd5#
      • 1...Qe3
        • 2.Sxf5#
        • 2.Rxd5#
      • 1...Qg3
        • 2.Sxf5#
        • 2.Rxd5#
      • 1...Qf4
        • 2.Rxd5#
        • 2.Qd3#
      • 1...Se4
        • 2.Se6#
        • 2.Rxd5#
      • 1...Se6
        • 2.Sxe6#
      • 1...Sf7
        • 2.Se6#
      • 1...Sh7
        • 2.Se6#
      • 1...Sc6
        • 2.Sb5#
      • 1...Sc8
        • 2.Sb5#
      • 1...f4
        • 2.Sf5#
      • 1...bxa3!
    • 1.Bc7?
      • 1...Qxf2
        • 2.Qd3#
      • 1...Qxb3
        • 2.Sxf5#
      • 1...Sxh3
        • 2.Se6#
      • 1...bxa3
        • 2.Ra4#
      • 1...Qd3
        • 2.Qxd3#
      • 1...Sb5
        • 2.Sxb5#
      • 1...Qd1
        • 2.Sxf5#
      • 1...Qh1
        • 2.Sxf5#
        • 2.Qd3#
      • 1...Qe2
        • 2.Sxf5#
      • 1...Qg2
        • 2.Sxf5#
        • 2.Qd3#
      • 1...Qe4
        • 2.Qb2#
        • 2.Qc5#
      • 1...Qg4
        • 2.Qd3#
      • 1...Qh5
        • 2.Sxf5#
        • 2.Qd3#
      • 1...Qc3
        • 2.Sxf5#
      • 1...Qe3
        • 2.Sxf5#
      • 1...Qg3
        • 2.Sxf5#
      • 1...Qf4
        • 2.Qd3#
      • 1...Se4
        • 2.Se6#
      • 1...Se6
        • 2.Sxe6#
      • 1...Sf7
        • 2.Se6#
      • 1...Sh7
        • 2.Se6#
      • 1...Sc6
        • 2.Sb5#
      • 1...Sc8
        • 2.Sb5#
      • 1...f4
        • 2.Sf5#
      • 1...Qxh3!
    • 1.Bb8?
      • 1...Qxf2
        • 2.Qd3#
      • 1...Qxb3
        • 2.Sxf5#
      • 1...Sxh3
        • 2.Se6#
      • 1...bxa3
        • 2.Ra4#
      • 1...Qd3
        • 2.Qxd3#
      • 1...Sb5
        • 2.Sxb5#
      • 1...Qd1
        • 2.Sxf5#
      • 1...Qh1
        • 2.Sxf5#
        • 2.Qd3#
      • 1...Qe2
        • 2.Sxf5#
      • 1...Qg2
        • 2.Sxf5#
        • 2.Qd3#
      • 1...Qe4
        • 2.Qb2#
        • 2.Qc5#
      • 1...Qg4
        • 2.Qd3#
      • 1...Qh5
        • 2.Sxf5#
        • 2.Qd3#
      • 1...Qc3
        • 2.Sxf5#
      • 1...Qe3
        • 2.Sxf5#
      • 1...Qg3
        • 2.Sxf5#
      • 1...Qf4
        • 2.Qd3#
      • 1...Se4
        • 2.Se6#
      • 1...Se6
        • 2.Sxe6#
      • 1...Sf7
        • 2.Se6#
      • 1...Sh7
        • 2.Se6#
      • 1...Sc6
        • 2.Sb5#
      • 1...Sc8
        • 2.Sb5#
      • 1...f4
        • 2.Sf5#
      • 1...Qxh3!
    • 1.Rb5?
      • threat
        • 2.Rxb4#
      • 1...Qxf2
        • 2.Qd3#
      • 1...Qxb3
        • 2.Sxf5#
      • 1...Sxb5
        • 2.Sxb5#
      • 1...bxa3
        • 2.Rb4#
      • 1...Qd3
        • 2.Qxd3#
      • 1...Qe2
        • 2.Sxf5#
      • 1...Qc3
        • 2.Sxf5#
      • 1...Sc6!
    • 1.Rxd5+?
      • 1...Kxd5
        • 2.Qc4#
      • 1...Qxd5+!
    • 1.Rxf5?
      • threat
        • 2.Bc5#
      • 1...Qxf5
        • 2.Sxf5#
      • 1...Qd3
        • 2.Qxd3#
      • 1...Se4
        • 2.Se6#
      • 1...Se6
        • 2.Sxe6#
      • 1...Qc3!
    • 1.Re6?
      • threat
        • 2.Bc5#
      • 1...Sxe6
        • 2.Sxe6#
      • 1...Qd3
        • 2.Qxd3#
      • 1...Qc3
        • 2.Sxf5#
      • 1...Se4!
    • 1.Rg6?
      • 1...Qxf2
        • 2.Qd3#
      • 1...Qxb3
        • 2.Sxf5#
      • 1...Sxh3
        • 2.Se6#
      • 1...bxa3
        • 2.Ra4#
      • 1...Qd3
        • 2.Qxd3#
      • 1...Sb5
        • 2.Sxb5#
      • 1...Qd1
        • 2.Sxf5#
      • 1...Qh1
        • 2.Sxf5#
        • 2.Qd3#
      • 1...Qe2
        • 2.Sxf5#
      • 1...Qg2
        • 2.Sxf5#
        • 2.Qd3#
      • 1...Qe4
        • 2.Qb2#
        • 2.Qc5#
      • 1...Qg4
        • 2.Qd3#
      • 1...Qh5
        • 2.Sxf5#
        • 2.Qd3#
      • 1...Qc3
        • 2.Sxf5#
      • 1...Qe3
        • 2.Sxf5#
      • 1...Qg3
        • 2.Sxf5#
      • 1...Qf4
        • 2.Qd3#
      • 1...Se4
        • 2.Se6#
      • 1...Se6
        • 2.Sxe6#
      • 1...Sf7
        • 2.Se6#
      • 1...Sh7
        • 2.Se6#
      • 1...Sc6
        • 2.Sb5#
      • 1...Sc8
        • 2.Sb5#
      • 1...f4
        • 2.Sf5#
      • 1...Qxh3!
    • 1.Rh6?
      • 1...Qxf2
        • 2.Qd3#
      • 1...Qxb3
        • 2.Sxf5#
      • 1...Sxh3
        • 2.Se6#
      • 1...bxa3
        • 2.Ra4#
      • 1...Qd3
        • 2.Qxd3#
      • 1...Sb5
        • 2.Sxb5#
      • 1...Qd1
        • 2.Sxf5#
      • 1...Qh1
        • 2.Sxf5#
        • 2.Qd3#
      • 1...Qe2
        • 2.Sxf5#
      • 1...Qg2
        • 2.Sxf5#
        • 2.Qd3#
      • 1...Qe4
        • 2.Qb2#
        • 2.Qc5#
      • 1...Qg4
        • 2.Qd3#
      • 1...Qh5
        • 2.Sxf5#
        • 2.Qd3#
      • 1...Qc3
        • 2.Sxf5#
      • 1...Qe3
        • 2.Sxf5#
      • 1...Qg3
        • 2.Sxf5#
      • 1...Qf4
        • 2.Qd3#
      • 1...Se4
        • 2.Se6#
      • 1...Se6
        • 2.Sxe6#
      • 1...Sf7
        • 2.Se6#
      • 1...Sh7
        • 2.Se6#
      • 1...Sc6
        • 2.Sb5#
      • 1...Sc8
        • 2.Sb5#
      • 1...f4
        • 2.Sf5#
      • 1...Qxh3!
    • 1.Rf7?
      • 1...Qxf2
        • 2.Qd3#
      • 1...Qxb3
        • 2.Sxf5#
      • 1...Sxh3
        • 2.Se6#
      • 1...Sxf7
        • 2.Se6#
      • 1...bxa3
        • 2.Ra4#
      • 1...Qd3
        • 2.Qxd3#
      • 1...Sb5
        • 2.Sxb5#
      • 1...Qd1
        • 2.Sxf5#
      • 1...Qh1
        • 2.Sxf5#
        • 2.Qd3#
      • 1...Qe2
        • 2.Sxf5#
      • 1...Qg2
        • 2.Sxf5#
        • 2.Qd3#
      • 1...Qe4
        • 2.Qb2#
        • 2.Qc5#
      • 1...Qg4
        • 2.Qd3#
      • 1...Qh5
        • 2.Sxf5#
        • 2.Qd3#
      • 1...Qc3
        • 2.Sxf5#
      • 1...Qe3
        • 2.Sxf5#
      • 1...Qg3
        • 2.Sxf5#
      • 1...Qf4
        • 2.Qd3#
      • 1...Se4
        • 2.Se6#
      • 1...Se6
        • 2.Sxe6#
      • 1...Sh7
        • 2.Se6#
      • 1...Sc6
        • 2.Sb5#
      • 1...Sc8
        • 2.Sb5#
      • 1...f4
        • 2.Sf5#
      • 1...Qxh3!
    • 1.Rf8?
      • 1...Qxf2
        • 2.Qd3#
      • 1...Qxb3
        • 2.Sxf5#
      • 1...Sxh3
        • 2.Se6#
      • 1...bxa3
        • 2.Ra4#
      • 1...Qd3
        • 2.Qxd3#
      • 1...Sb5
        • 2.Sxb5#
      • 1...Qd1
        • 2.Sxf5#
      • 1...Qh1
        • 2.Sxf5#
        • 2.Qd3#
      • 1...Qe2
        • 2.Sxf5#
      • 1...Qg2
        • 2.Sxf5#
        • 2.Qd3#
      • 1...Qe4
        • 2.Qb2#
        • 2.Qc5#
      • 1...Qg4
        • 2.Qd3#
      • 1...Qh5
        • 2.Sxf5#
        • 2.Qd3#
      • 1...Qc3
        • 2.Sxf5#
      • 1...Qe3
        • 2.Sxf5#
      • 1...Qg3
        • 2.Sxf5#
      • 1...Qf4
        • 2.Qd3#
      • 1...Se4
        • 2.Se6#
      • 1...Se6
        • 2.Sxe6#
      • 1...Sf7
        • 2.Se6#
      • 1...Sh7
        • 2.Se6#
      • 1...Sc6
        • 2.Sb5#
      • 1...Sc8
        • 2.Sb5#
      • 1...f4
        • 2.Sf5#
      • 1...Qxh3!
    • 1.Qd2+?
      • 1...Qd3
        • 2.Qxd3#
      • 1...Ke4!
    • 1.h4?
      • 1...Qxf2
        • 2.Qd3#
      • 1...Qxb3
        • 2.Sxf5#
      • 1...bxa3
        • 2.Ra4#
      • 1...Qd3
        • 2.Qxd3#
      • 1...Sb5
        • 2.Sxb5#
      • 1...Qd1
        • 2.Sxf5#
      • 1...Qh1
        • 2.Sxf5#
        • 2.Qd3#
      • 1...Qe2
        • 2.Sxf5#
      • 1...Qg2
        • 2.Sxf5#
        • 2.Qd3#
      • 1...Qe4
        • 2.Qb2#
        • 2.Qc5#
      • 1...Qg4
        • 2.Qd3#
      • 1...Qh5
        • 2.Sxf5#
        • 2.Qd3#
      • 1...Qc3
        • 2.Sxf5#
      • 1...Qe3
        • 2.Sxf5#
      • 1...Qg3
        • 2.Sxf5#
      • 1...Qf4
        • 2.Qd3#
      • 1...Sh3
        • 2.Se6#
      • 1...Se4
        • 2.Se6#
      • 1...Se6
        • 2.Sxe6#
      • 1...Sf7
        • 2.Se6#
      • 1...Sh7
        • 2.Se6#
      • 1...Sc6
        • 2.Sb5#
      • 1...Sc8
        • 2.Sb5#
      • 1...f4
        • 2.Sf5#
      • 1...Qh3!
  • Keys
    • 1.Ra4!
      • threat
        • 2.Rxb4#
      • 1...Qxf2
        • 2.Qd3#
      • 1...Qxb3
        • 2.Sxf5#
      • 1...Qd3
        • 2.Qxd3#
      • 1...Qe2
        • 2.Sxf5#
      • 1...Qc3
        • 2.Sxf5#
      • 1...Sc6
        • 2.Sb5#

FEATURES


  • Static
    • TYPE = THREAT
    • CHANGED MATES = 0
    • ADDED MATES = 0
    • REMOVED MATES = 14
  • Sets
    • Q(a);N_GUARD::S(L),XP(e)
    • Q(a);N_GUARD::QAR1(B)
    • Q(a);N_GUARD,XP(C)::QAR1(B)
    • Q(a);N_GUARD,XP(E)::S(L),XP(e)
    • Q(a);N_GUARD::QAR1(B),XQ(a)
    • S(f);N_GUARD,XP(F)::S(L)
    • S(f);N_GUARD::S(L)
    • S(f);N_GUARD::S(L),XS(f)
    • S(g);N_GUARD::S(D),XS(g)
    • S(g);N_GUARD::S(D)
    • P(b);OGATEB,XS(D)::R(G)
    • P(e);S_CUTQ(a)::S(L)
  • Tries
    • Try
      • S(D);
      • Threat
        • B(J)
      • Vars
        • P(d);OGATE,XS(D)::QAR1(B),XP(d)
        • Q(a);N_GUARD::QAR1(B),XQ(a)
        • S(f);N_GUARD::S(L)
        • S(f);N_GUARD::S(L),XS(f)
      • Refutation
        • S(g);
    • Try
      • B(A);
      • Vars
        • Q(a);N_GUARD,XB(A)::S(L),XP(e)
        • Q(a);N_GUARD,XP(C)::QAR1(B)
        • Q(a);N_GUARD,XP(E)::S(L),XP(e)
        • S(f);N_GUARD,XP(F)::S(L)
        • P(b);OGATEB,XS(D)::R(G)
        • Q(a);N_GUARD::QAR1(B),XQ(a)
        • S(g);N_GUARD::S(D),XS(g)
        • Q(a);N_GUARD::QAR1(B)
        • Q(a);N_GUARD::S(L),XP(e)
        • S(f);N_GUARD::S(L)
        • S(f);N_GUARD::S(L),XS(f)
        • S(g);N_GUARD::S(D)
        • P(e);S_CUTQ(a)::S(L)
      • Refutation
        • Q(a);XP(F)
    • Try
      • B(A);
      • Vars
        • Q(a);N_GUARD,XP(C)::QAR1(B)
        • Q(a);N_GUARD,XP(F)::R1(G),XP(d)
        • S(f);N_GUARD,XP(F)::S(L)
        • P(d);OGATE,XB(A)::QAR1(B),XP(d)
        • Q(a);N_GUARD::QAR1(B),XQ(a)
        • S(g);N_GUARD::S(D),XS(g)
        • Q(a);N_GUARD,SBLOCK::QAB(B)
        • S(f);N_GUARD::S(L),XS(f)
        • S(f);N_GUARD::S(L)
        • S(g);N_GUARD::S(D)
        • P(e);S_CUTQ(a)::S(L)
      • Refutation
        • P(b);XS(D)
    • Try
      • B(J);
      • Vars
        • Q(a);N_GUARD,XP(C)::QAR1(B)
        • Q(a);N_GUARD,XP(E)::S(L),XP(e)
        • S(f);N_GUARD,XP(F)::S(L)
        • P(b);OGATEB,XS(D)::R(G)
        • Q(a);N_GUARD::QAR1(B),XQ(a)
        • S(g);N_GUARD::S(D),XS(g)
        • Q(a);N_GUARD::S(L),XP(e)
        • Q(a);N_GUARD::QAR1(B)
        • S(f);N_GUARD::S(L)
        • S(f);N_GUARD::S(L),XS(f)
        • S(g);N_GUARD::S(D)
        • P(e);S_CUTQ(a)::S(L)
      • Refutation
        • Q(a);XP(F)
    • Try
      • B(J);
      • Vars
        • Q(a);N_GUARD,XP(C)::QAR1(B)
        • Q(a);N_GUARD,XP(E)::S(L),XP(e)
        • S(f);N_GUARD,XP(F)::S(L)
        • P(b);OGATEB,XS(D)::R(G)
        • Q(a);N_GUARD::QAR1(B),XQ(a)
        • S(g);N_GUARD::S(D),XS(g)
        • Q(a);N_GUARD::S(L),XP(e)
        • Q(a);N_GUARD::QAR1(B)
        • S(f);N_GUARD::S(L)
        • S(f);N_GUARD::S(L),XS(f)
        • S(g);N_GUARD::S(D)
        • P(e);S_CUTQ(a)::S(L)
      • Refutation
        • Q(a);XP(F)
    • Try
      • R(G);
      • Threat
        • R(G),XP(b)
      • Vars
        • Q(a);N_GUARD,XP(C)::QAR1(B)
        • Q(a);N_GUARD,XP(E)::S(L),XP(e)
        • S(g);XR(G)::S(D),XS(g)
        • P(b);XS(D)::R(G)
        • Q(a);N_GUARD::QAR1(B),XQ(a)
        • Q(a);N_GUARD::S(L),XP(e)
      • Refutation
        • S(g);
    • Try
      • R(G);CHECK,XP(d)
      • Vars
        • K(c);P-FLIGHT,XR(G)::QAB1(B)
      • Refutation
        • Q(a);CHECK,XR(G)
    • Try
      • R(K);XP(e)
      • Threat
        • B(J)
      • Vars
        • Q(a);XR(K)::S(L),XQ(a)
        • Q(a);N_GUARD::QAR1(B),XQ(a)
        • S(f);N_GUARD::S(L)
        • S(f);N_GUARD::S(L),XS(f)
      • Refutation
        • Q(a);
    • Try
      • R(K);
      • Threat
        • B(J)
      • Vars
        • S(f);XR(K)::S(L),XS(f)
        • Q(a);N_GUARD::QAR1(B),XQ(a)
        • Q(a);N_GUARD::S(L),XP(e)
      • Refutation
        • S(f);
    • Try
      • R(K);
      • Vars
        • Q(a);N_GUARD,XP(C)::QAR1(B)
        • Q(a);N_GUARD,XP(E)::S(L),XP(e)
        • S(f);N_GUARD,XP(F)::S(L)
        • P(b);OGATEB,XS(D)::R(G)
        • Q(a);N_GUARD::QAR1(B),XQ(a)
        • S(g);N_GUARD::S(D),XS(g)
        • Q(a);N_GUARD::S(L),XP(e)
        • Q(a);N_GUARD::QAR1(B)
        • S(f);N_GUARD::S(L)
        • S(f);N_GUARD::S(L),XS(f)
        • S(g);N_GUARD::S(D)
        • P(e);S_CUTQ(a)::S(L)
      • Refutation
        • Q(a);XP(F)
    • Try
      • R(K);
      • Vars
        • Q(a);N_GUARD,XP(C)::QAR1(B)
        • Q(a);N_GUARD,XP(E)::S(L),XP(e)
        • S(f);N_GUARD,XP(F)::S(L)
        • P(b);OGATEB,XS(D)::R(G)
        • Q(a);N_GUARD::QAR1(B),XQ(a)
        • S(g);N_GUARD::S(D),XS(g)
        • Q(a);N_GUARD::S(L),XP(e)
        • Q(a);N_GUARD::QAR1(B)
        • S(f);N_GUARD::S(L)
        • S(f);N_GUARD::S(L),XS(f)
        • S(g);N_GUARD::S(D)
        • P(e);S_CUTQ(a)::S(L)
      • Refutation
        • Q(a);XP(F)
    • Try
      • R(K);
      • Vars
        • Q(a);N_GUARD,XP(C)::QAR1(B)
        • Q(a);N_GUARD,XP(E)::S(L),XP(e)
        • S(f);N_GUARD,XP(F)::S(L)
        • S(f);N_GUARD,XR(K)::S(L)
        • P(b);OGATEB,XS(D)::R(G)
        • Q(a);N_GUARD::QAR1(B),XQ(a)
        • S(g);N_GUARD::S(D),XS(g)
        • Q(a);N_GUARD::S(L),XP(e)
        • Q(a);N_GUARD::QAR1(B)
        • S(f);N_GUARD::S(L)
        • S(f);N_GUARD::S(L),XS(f)
        • S(g);N_GUARD::S(D)
        • P(e);S_CUTQ(a)::S(L)
      • Refutation
        • Q(a);XP(F)
    • Try
      • R(K);
      • Vars
        • Q(a);N_GUARD,XP(C)::QAR1(B)
        • Q(a);N_GUARD,XP(E)::S(L),XP(e)
        • S(f);N_GUARD,XP(F)::S(L)
        • P(b);OGATEB,XS(D)::R(G)
        • Q(a);N_GUARD::QAR1(B),XQ(a)
        • S(g);N_GUARD::S(D),XS(g)
        • Q(a);N_GUARD::S(L),XP(e)
        • Q(a);N_GUARD::QAR1(B)
        • S(f);N_GUARD::S(L)
        • S(f);N_GUARD::S(L),XS(f)
        • S(g);N_GUARD::S(D)
        • P(e);S_CUTQ(a)::S(L)
      • Refutation
        • Q(a);XP(F)
    • Try
      • Q(B);CHECK
      • Vars
        • Q(a);N_GUARD,P_SPINQ(a)::QAR1(B),XQ(a)
      • Refutation
        • K(c);P-FLIGHT
    • Try
      • P(F);
      • Vars
        • Q(a);N_GUARD,XP(C)::QAR1(B)
        • Q(a);N_GUARD,XP(E)::S(L),XP(e)
        • P(b);OGATEB,XS(D)::R(G)
        • Q(a);N_GUARD::QAR1(B),XQ(a)
        • S(g);N_GUARD::S(D),XS(g)
        • Q(a);N_GUARD::S(L),XP(e)
        • Q(a);N_GUARD::QAR1(B)
        • S(f);N_GUARD::S(L)
        • S(f);N_GUARD::S(L),XS(f)
        • S(g);N_GUARD::S(D)
        • P(e);S_CUTQ(a)::S(L)
      • Refutation
        • Q(a);
  • Actual
    • R(G);P_PINP(b)
    • Threat
      • R(G),XP(b)
    • Vars
      • Q(a);N_GUARD,XP(C)::QAR1(B)
      • Q(a);N_GUARD,XP(E)::S(L),XP(e)
      • Q(a);N_GUARD::QAR1(B),XQ(a)
      • Q(a);N_GUARD::S(L),XP(e)
      • S(g);N_GUARD::S(D)


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