Problem Display
PID: 218501 (8/B4p2/5nR1/2N1n3/R3Pk2/4N1p1/1Q4B1/2K5 w - - 0 1)

Robbins, Alexander Henry

Cincinnati Commercial, 1881

8/B4p2/5nR1/2N1n3/R3Pk2/4N1p1/1Q4B1/2K5

#2

9 + 5


6490 yacpdb 2020

SOLUTION


  • SOUND
  • Sets
    • 1...Kxe3
      • 2.Qd2#
    • 1...Sd3+
      • 2.Sxd3#
    • 1...Sf3
      • 2.Sd3#
    • 1...Sc4
      • 2.Sd3#
    • 1...Seg4
      • 2.Sd3#
    • 1...Sc6
      • 2.Sd3#
    • 1...Sed7
      • 2.Sd3#
    • 1...Sxe4
      • 2.Rxe4#
    • 1...Sfg4
      • 2.Sd5#
    • 1...Sd5
      • 2.Sxd5#
    • 1...Sh5
      • 2.Sd5#
    • 1...Sfd7
      • 2.Sd5#
    • 1...Sh7
      • 2.Sd5#
    • 1...Se8
      • 2.Sd5#
    • 1...Sg8
      • 2.Sd5#
    • 1...fxg6
      • 2.Se6#
  • Tries
    • 1.Kd1?
      • 1...Kxe3
        • 2.Qd2#
      • 1...Sxe4
        • 2.Rxe4#
      • 1...fxg6
        • 2.Se6#
      • 1...Sd3
        • 2.Sxd3#
      • 1...Sf3
        • 2.Sd3#
      • 1...Sc4
        • 2.Sd3#
      • 1...Seg4
        • 2.Sd3#
      • 1...Sc6
        • 2.Sd3#
      • 1...Sed7
        • 2.Sd3#
      • 1...Sfg4
        • 2.Sd5#
      • 1...Sd5
        • 2.Sxd5#
      • 1...Sh5
        • 2.Sd5#
      • 1...Sfd7
        • 2.Sd5#
      • 1...Sh7
        • 2.Sd5#
      • 1...Se8
        • 2.Sd5#
      • 1...Sg8
        • 2.Sd5#
      • 1...Sxg6!
    • 1.Bb6?
      • 1...Sd3+
        • 2.Sxd3#
      • 1...Kxe3
        • 2.Qd2#
      • 1...Sxe4
        • 2.Rxe4#
      • 1...fxg6
        • 2.Se6#
      • 1...Sf3
        • 2.Sd3#
      • 1...Sc4
        • 2.Sd3#
      • 1...Seg4
        • 2.Sd3#
      • 1...Sc6
        • 2.Sd3#
      • 1...Sed7
        • 2.Sd3#
      • 1...Sfg4
        • 2.Sd5#
      • 1...Sd5
        • 2.Sxd5#
      • 1...Sh5
        • 2.Sd5#
      • 1...Sfd7
        • 2.Sd5#
      • 1...Sh7
        • 2.Sd5#
      • 1...Se8
        • 2.Sd5#
      • 1...Sg8
        • 2.Sd5#
      • 1...Sxg6!
    • 1.Bb8?
      • 1...Kxe3
        • 2.Qd2#
      • 1...Sxe4
        • 2.Rxe4#
      • 1...Sg4
        • 2.Sd5#
      • 1...Sd5
        • 2.Sxd5#
      • 1...Sh5
        • 2.Sd5#
      • 1...Sd7
        • 2.Sd5#
      • 1...Sh7
        • 2.Sd5#
      • 1...Se8
        • 2.Sd5#
      • 1...Sg8
        • 2.Sd5#
      • 1...fxg6!
    • 1.Ra3?
      • 1...Sd3+
        • 2.Sxd3#
      • 1...Sxg6
        • 2.Qxf6#
      • 1...fxg6
        • 2.Se6#
      • 1...Sf3
        • 2.Qxf6#
      • 1...Sc4
        • 2.Sd3#
        • 2.Qxf6#
      • 1...Seg4
        • 2.Sd3#
      • 1...Sc6
        • 2.Sd3#
        • 2.Qxf6#
      • 1...Sed7
        • 2.Sd3#
      • 1...Sfg4
        • 2.Sd5#
      • 1...Sd5
        • 2.Sxd5#
      • 1...Sh5
        • 2.Sd5#
      • 1...Sfd7
        • 2.Sd5#
      • 1...Sh7
        • 2.Sd5#
      • 1...Se8
        • 2.Sd5#
      • 1...Sg8
        • 2.Sd5#
      • 1...Sxe4!
    • 1.Rb4?
      • 1...Sd3+
        • 2.Sxd3#
      • 1...Kxe3
        • 2.Qd2#
      • 1...Sxe4
        • 2.Rxe4#
      • 1...fxg6
        • 2.Se6#
      • 1...Sf3
        • 2.Sd3#
      • 1...Sc4
        • 2.Sd3#
      • 1...Seg4
        • 2.Sd3#
      • 1...Sc6
        • 2.Sd3#
      • 1...Sed7
        • 2.Sd3#
      • 1...Sfg4
        • 2.Sd5#
      • 1...Sd5
        • 2.Sxd5#
      • 1...Sh5
        • 2.Sd5#
      • 1...Sfd7
        • 2.Sd5#
      • 1...Sh7
        • 2.Sd5#
      • 1...Se8
        • 2.Sd5#
      • 1...Sg8
        • 2.Sd5#
      • 1...Sxg6!
    • 1.Rc4?
      • 1...Sd3+
        • 2.Sxd3#
      • 1...Kxe3
        • 2.Qd2#
      • 1...Sxc4
        • 2.Sd3#
      • 1...Sxe4
        • 2.Rxe4#
      • 1...fxg6
        • 2.Se6#
      • 1...Sf3
        • 2.Sd3#
      • 1...Seg4
        • 2.Sd3#
      • 1...Sc6
        • 2.Sd3#
      • 1...Sed7
        • 2.Sd3#
      • 1...Sfg4
        • 2.Sd5#
      • 1...Sd5
        • 2.Sxd5#
      • 1...Sh5
        • 2.Sd5#
      • 1...Sfd7
        • 2.Sd5#
      • 1...Sh7
        • 2.Sd5#
      • 1...Se8
        • 2.Sd5#
      • 1...Sg8
        • 2.Sd5#
      • 1...Sxg6!
    • 1.Rxf6+?
      • 1...Kxe3
        • 2.Qd2#
      • 1...Kg5!
    • 1.Rg7?
      • 1...Sd3+
        • 2.Sxd3#
      • 1...Kxe3
        • 2.Qd2#
      • 1...Sxe4
        • 2.Rxe4#
      • 1...Sf3
        • 2.Sd3#
      • 1...Sc4
        • 2.Sd3#
      • 1...Seg4
        • 2.Sd3#
      • 1...Sc6
        • 2.Sd3#
      • 1...Sed7
        • 2.Sd3#
      • 1...Sfg4
        • 2.Sd5#
      • 1...Sd5
        • 2.Sxd5#
      • 1...Sh5
        • 2.Sd5#
      • 1...Sfd7
        • 2.Sd5#
      • 1...Sh7
        • 2.Sd5#
      • 1...Se8
        • 2.Sd5#
      • 1...Sg8
        • 2.Sd5#
      • 1...Sg6!
    • 1.Qa3?
      • 1...Sd3+
        • 2.Sxd3#
      • 1...Sxe4
        • 2.Rxe4#
      • 1...fxg6
        • 2.Se6#
      • 1...Sf3
        • 2.Sd3#
      • 1...Sc4
        • 2.Sd3#
      • 1...Seg4
        • 2.Sd3#
      • 1...Sc6
        • 2.Sd3#
      • 1...Sed7
        • 2.Sd3#
      • 1...Sfg4
        • 2.Sd5#
      • 1...Sd5
        • 2.Sxd5#
      • 1...Sh5
        • 2.Sd5#
      • 1...Sfd7
        • 2.Sd5#
      • 1...Sh7
        • 2.Sd5#
      • 1...Se8
        • 2.Sd5#
      • 1...Sg8
        • 2.Sd5#
      • 1...Sxg6!
    • 1.Qc3?
      • 1...Sd3+
        • 2.Sxd3#
      • 1...Sxe4
        • 2.Rxe4#
      • 1...fxg6
        • 2.Se6#
      • 1...Sf3
        • 2.Sd3#
      • 1...Sc4
        • 2.Sd3#
      • 1...Seg4
        • 2.Sd3#
      • 1...Sc6
        • 2.Sd3#
      • 1...Sed7
        • 2.Sd3#
      • 1...Sfg4
        • 2.Sd5#
      • 1...Sd5
        • 2.Sxd5#
      • 1...Sh5
        • 2.Sd5#
      • 1...Sfd7
        • 2.Sd5#
      • 1...Sh7
        • 2.Sd5#
      • 1...Se8
        • 2.Sd5#
      • 1...Sg8
        • 2.Sd5#
      • 1...Sxg6!
    • 1.Qd4?
      • 1...Sd3+
        • 2.Sxd3#
      • 1...Sxe4
        • 2.Qxe4#
      • 1...fxg6
        • 2.Se6#
      • 1...Sf3
        • 2.Sd3#
      • 1...Sc4
        • 2.Sd3#
      • 1...Seg4
        • 2.Sd3#
      • 1...Sc6
        • 2.Sd3#
      • 1...Sed7
        • 2.Sd3#
      • 1...Sfg4
        • 2.Sd5#
      • 1...Sd5
        • 2.Sxd5#
        • 2.exd5#
      • 1...Sh5
        • 2.Sd5#
      • 1...Sfd7
        • 2.Sd5#
      • 1...Sh7
        • 2.Sd5#
      • 1...Se8
        • 2.Sd5#
      • 1...Sg8
        • 2.Sd5#
      • 1...Sxg6!
    • 1.Qxe5+?
      • 1...Kxe5
        • 2.Bb8#
      • 1...Kxe3!
    • 1.Qa2?
      • 1...Sd3+
        • 2.Sxd3#
      • 1...Kxe3
        • 2.Qd2#
      • 1...Sxe4
        • 2.Rxe4#
      • 1...fxg6
        • 2.Se6#
      • 1...Sf3
        • 2.Sd3#
      • 1...Sc4
        • 2.Sd3#
      • 1...Seg4
        • 2.Sd3#
      • 1...Sc6
        • 2.Sd3#
      • 1...Sed7
        • 2.Sd3#
      • 1...Sfg4
        • 2.Sd5#
      • 1...Sd5
        • 2.Sxd5#
      • 1...Sh5
        • 2.Sd5#
      • 1...Sfd7
        • 2.Sd5#
      • 1...Sh7
        • 2.Sd5#
      • 1...Se8
        • 2.Sd5#
      • 1...Sg8
        • 2.Sd5#
      • 1...Sxg6!
    • 1.Qc2?
      • 1...Sd3+
        • 2.Sxd3#
      • 1...Kxe3
        • 2.Sd3#
        • 2.Se6#
        • 2.Qd2#
      • 1...Sxe4
        • 2.Rxe4#
        • 2.Qxe4#
      • 1...fxg6
        • 2.Se6#
      • 1...Sf3
        • 2.Sd3#
      • 1...Sc4
        • 2.Sd3#
      • 1...Seg4
        • 2.Sd3#
      • 1...Sc6
        • 2.Sd3#
      • 1...Sed7
        • 2.Sd3#
      • 1...Sfg4
        • 2.Sd5#
      • 1...Sd5
        • 2.Sxd5#
      • 1...Sh5
        • 2.Sd5#
      • 1...Sfd7
        • 2.Sd5#
      • 1...Sh7
        • 2.Sd5#
      • 1...Se8
        • 2.Sd5#
      • 1...Sg8
        • 2.Sd5#
      • 1...Sxg6!
    • 1.Qd2?
      • threat
        • 2.Sd1#
        • 2.Sf1#
        • 2.Sc2#
        • 2.Sc4#
        • 2.Sg4#
        • 2.Sd5#
        • 2.Sf5#
      • 1...Sd3+
        • 2.Sxd3#
      • 1...Sxe4
        • 2.Rxe4#
      • 1...fxg6
        • 2.Se6#
      • 1...Sf3
        • 2.Sd3#
      • 1...Sc4
        • 2.Sxc4#
        • 2.Sd3#
      • 1...Seg4
        • 2.Sxg4#
        • 2.Sd3#
      • 1...Sc6
        • 2.Sc4#
        • 2.Sg4#
        • 2.Sd3#
      • 1...Sed7
        • 2.Sc4#
        • 2.Sg4#
        • 2.Sd3#
      • 1...Sfg4
        • 2.Sxg4#
        • 2.Sd5#
      • 1...Sd5
        • 2.Sxd5#
      • 1...Sxg6!
    • 1.Qe2?
      • 1...Sd3+
        • 2.Sxd3#
      • 1...Sxe4
        • 2.Rxe4#
      • 1...fxg6
        • 2.Se6#
      • 1...Sf3
        • 2.Sd3#
      • 1...Sc4
        • 2.Sd3#
      • 1...Seg4
        • 2.Sd3#
      • 1...Sc6
        • 2.Sd3#
      • 1...Sed7
        • 2.Sd3#
      • 1...Sfg4
        • 2.Sd5#
      • 1...Sd5
        • 2.Sxd5#
      • 1...Sh5
        • 2.Sd5#
      • 1...Sfd7
        • 2.Sd5#
      • 1...Sh7
        • 2.Sd5#
      • 1...Se8
        • 2.Sd5#
      • 1...Sg8
        • 2.Sd5#
      • 1...Sxg6!
    • 1.Qf2+?
      • 1...Sf3
        • 2.Sd3#
        • 2.Bb8#
      • 1...gxf2!
    • 1.Qb3?
      • 1...Sd3+
        • 2.Sxd3#
      • 1...Sxe4
        • 2.Rxe4#
      • 1...fxg6
        • 2.Se6#
      • 1...Sf3
        • 2.Sd3#
      • 1...Sc4
        • 2.Sd3#
      • 1...Seg4
        • 2.Sd3#
      • 1...Sc6
        • 2.Sd3#
      • 1...Sed7
        • 2.Sd3#
      • 1...Sfg4
        • 2.Sd5#
      • 1...Sd5
        • 2.Sxd5#
      • 1...Sh5
        • 2.Sd5#
      • 1...Sfd7
        • 2.Sd5#
      • 1...Sh7
        • 2.Sd5#
      • 1...Se8
        • 2.Sd5#
      • 1...Sg8
        • 2.Sd5#
      • 1...Sxg6!
    • 1.Qb4?
      • 1...Sd3+
        • 2.Sxd3#
      • 1...Kxe3
        • 2.Qd2#
      • 1...Sxe4
        • 2.Qxe4#
      • 1...fxg6
        • 2.Se6#
      • 1...Sf3
        • 2.Sd3#
      • 1...Sc4
        • 2.Sd3#
      • 1...Seg4
        • 2.Sd3#
      • 1...Sc6
        • 2.Sd3#
      • 1...Sed7
        • 2.Sd3#
      • 1...Sfg4
        • 2.Sd5#
      • 1...Sd5
        • 2.Sxd5#
      • 1...Sh5
        • 2.Sd5#
      • 1...Sfd7
        • 2.Sd5#
      • 1...Sh7
        • 2.Sd5#
      • 1...Se8
        • 2.Sd5#
      • 1...Sg8
        • 2.Sd5#
      • 1...Sxg6!
    • 1.Qb8?
      • threat
        • 2.Sd3#
      • 1...fxg6
        • 2.Se6#
      • 1...Kxe3!
  • Keys
    • 1.Qb5!
      • 1...Sd3+
        • 2.Sxd3#
      • 1...Kxe3
        • 2.Se6#
      • 1...Sxg6
        • 2.Sd3#
      • 1...Sxe4
        • 2.Rxe4#
      • 1...fxg6
        • 2.Se6#
      • 1...Sf3
        • 2.Sd3#
      • 1...Sc4
        • 2.Sd3#
      • 1...Seg4
        • 2.Sd3#
      • 1...Sc6
        • 2.Sd3#
      • 1...Sed7
        • 2.Sd3#
      • 1...Sfg4
        • 2.Sd5#
      • 1...Sd5
        • 2.Sxd5#
      • 1...Sh5
        • 2.Sd5#
      • 1...Sfd7
        • 2.Sd5#
      • 1...Sh7
        • 2.Sd5#
      • 1...Se8
        • 2.Sd5#
      • 1...Sg8
        • 2.Sd5#

FEATURES


  • Static
    • TYPE = INCOMPLETE_BLOCK
    • CHANGED MATES = 1
    • ADDED MATES = 1
    • REMOVED MATES = 0
  • Sets
    • K(b);OGATEB,S_FLIGHT,XS(D)::QAB1(B)
    • S(c);CHECK,N_GUARD::S(G),XS(c)
    • S(c);N_GUARD::S(G)
    • S(d);OGATE,P_SPINS(d),XP(F)::R1(E),XS(d)
    • S(d);N_GUARD::S(D)
    • S(d);N_GUARD::S(D),XS(d)
    • P(e);N_GUARD,XR(H)::S(G)
  • Tries
    • Try
      • K(A);P-FLIGHT
      • Vars
        • K(b);OGATEB,S_FLIGHT,XS(D)::QAB1(B)
        • S(d);OGATE,P_SPINS(d),XP(F)::R1(E),XS(d)
        • P(e);N_GUARD,XR(H)::S(G)
        • S(c);N_GUARD::S(G),XS(c)
        • S(c);N_GUARD::S(G)
        • S(d);N_GUARD::S(D)
        • S(d);N_GUARD::S(D),XS(d)
      • Refutation
        • S(c);XR(H)
    • Try
      • B(I);
      • Vars
        • S(c);CHECK,N_GUARD::S(G),XS(c)
        • K(b);OGATEB,S_FLIGHT,XS(D)::QAB1(B)
        • S(d);OGATE,P_SPINS(d),XP(F)::R1(E),XS(d)
        • P(e);N_GUARD,XR(H)::S(G)
        • S(c);N_GUARD::S(G)
        • S(d);N_GUARD::S(D)
        • S(d);N_GUARD::S(D),XS(d)
      • Refutation
        • S(c);XR(H)
    • Try
      • B(I);P_PINS(c)
      • Vars
        • K(b);N_SPINS(c),OGATEB,S_FLIGHT,XS(D)::QAB1(B)
        • S(d);N_SPINS(c),OGATE,P_SPINS(d),XP(F)::R1(E),XS(d)
        • S(d);N_GUARD::S(D)
        • S(d);N_GUARD::S(D),XS(d)
      • Refutation
        • P(e);XR(H)
    • Try
      • R(E);
      • Vars
        • S(c);CHECK,N_GUARD::S(G),XS(c)
        • S(c);OGATE,XR(H)::QAR2(B),XS(d)
        • P(e);N_GUARD,XR(H)::S(G)
        • S(c);OGATE::QAR2(B),XS(d)
        • S(c);N_GUARD::S(G)
        • S(d);N_GUARD::S(D)
        • S(d);N_GUARD::S(D),XS(d)
      • Refutation
        • S(d);XP(F)
    • Try
      • R(E);
      • Vars
        • S(c);CHECK,N_GUARD::S(G),XS(c)
        • K(b);OGATEB,S_FLIGHT,XS(D)::QAB1(B)
        • S(d);OGATE,P_SPINS(d),XP(F)::R1(E),XS(d)
        • P(e);N_GUARD,XR(H)::S(G)
        • S(c);N_GUARD::S(G)
        • S(d);N_GUARD::S(D)
        • S(d);N_GUARD::S(D),XS(d)
      • Refutation
        • S(c);XR(H)
    • Try
      • R(E);
      • Vars
        • S(c);CHECK,N_GUARD::S(G),XS(c)
        • K(b);OGATEB,S_FLIGHT,XS(D)::QAB1(B)
        • S(c);N_GUARD,XR(E)::S(G)
        • S(d);OGATE,P_SPINS(d),XP(F)::R1(E),XS(d)
        • P(e);N_GUARD,XR(H)::S(G)
        • S(c);N_GUARD::S(G)
        • S(d);N_GUARD::S(D)
        • S(d);N_GUARD::S(D),XS(d)
      • Refutation
        • S(c);XR(H)
    • Try
      • R(H);CHECK,XS(d)
      • Vars
        • K(b);S_FLIGHT,XS(D)::QAB1(B)
      • Refutation
        • K(b);S_FLIGHT
    • Try
      • R(H);
      • Vars
        • S(c);CHECK,N_GUARD::S(G),XS(c)
        • K(b);OGATEB,S_FLIGHT,XS(D)::QAB1(B)
        • S(d);OGATE,P_SPINS(d),XP(F)::R1(E),XS(d)
        • S(c);N_GUARD::S(G)
        • S(d);N_GUARD::S(D)
        • S(d);N_GUARD::S(D),XS(d)
      • Refutation
        • S(c);
    • Try
      • Q(B);
      • Vars
        • S(c);CHECK,N_GUARD::S(G),XS(c)
        • S(d);OGATE,P_SPINS(d),XP(F)::R1(E),XS(d)
        • P(e);N_GUARD,XR(H)::S(G)
        • S(c);N_GUARD::S(G)
        • S(d);N_GUARD::S(D)
        • S(d);N_GUARD::S(D),XS(d)
      • Refutation
        • S(c);XR(H)
    • Try
      • Q(B);
      • Vars
        • S(c);CHECK,N_GUARD::S(G),XS(c)
        • S(d);OGATE,P_SPINS(d),XP(F)::R1(E),XS(d)
        • P(e);N_GUARD,XR(H)::S(G)
        • S(c);N_GUARD::S(G)
        • S(d);N_GUARD::S(D)
        • S(d);N_GUARD::S(D),XS(d)
      • Refutation
        • S(c);XR(H)
    • Try
      • Q(B);
      • Vars
        • S(c);CHECK,N_GUARD::S(G),XS(c)
        • S(d);OGATE,P_SPINS(d),XP(F)::QAR1(B),XS(d)
        • P(e);N_GUARD,XR(H)::S(G)
        • S(c);N_GUARD::S(G)
        • S(d);N_GUARD::S(D)
      • Refutation
        • S(c);XR(H)
    • Try
      • Q(B);CHECK,XS(c)
      • Vars
        • K(b);S_FLIGHT,XQ(B)::B(I)
      • Refutation
        • K(b);S_FLIGHT,XS(D)
    • Try
      • Q(B);
      • Vars
        • S(c);CHECK,N_GUARD::S(G),XS(c)
        • K(b);OGATEB,S_FLIGHT,XS(D)::QAB1(B)
        • S(d);OGATE,P_SPINS(d),XP(F)::R1(E),XS(d)
        • P(e);N_GUARD,XR(H)::S(G)
        • S(c);N_GUARD::S(G)
        • S(d);N_GUARD::S(D)
        • S(d);N_GUARD::S(D),XS(d)
      • Refutation
        • S(c);XR(H)
    • Try
      • Q(B);
      • Vars
        • S(c);CHECK,N_GUARD::S(G),XS(c)
        • P(e);N_GUARD,XR(H)::S(G)
        • S(c);N_GUARD::S(G)
        • S(d);N_GUARD::S(D)
        • S(d);N_GUARD::S(D),XS(d)
      • Refutation
        • S(c);XR(H)
    • Try
      • Q(B);
      • Threat
        • DUALS(7)
      • Vars
        • S(c);CHECK,N_GUARD::S(G),XS(c)
        • S(d);OGATE,P_SPINS(d),XP(F)::R1(E),XS(d)
        • P(e);N_GUARD,XR(H)::S(G)
        • S(c);N_GUARD::S(G)
        • S(d);::QAB(B)+S(D),DCHECK,XS(d)
      • Refutation
        • S(c);XR(H)
    • Try
      • Q(B);
      • Vars
        • S(c);CHECK,N_GUARD::S(G),XS(c)
        • S(d);OGATE,P_SPINS(d),XP(F)::R1(E),XS(d)
        • P(e);N_GUARD,XR(H)::S(G)
        • S(c);N_GUARD::S(G)
        • S(d);N_GUARD::S(D)
        • S(d);N_GUARD::S(D),XS(d)
      • Refutation
        • S(c);XR(H)
    • Try
      • Q(B);CHECK
      • Refutation
        • P(a);XQ(B)
    • Try
      • Q(B);
      • Vars
        • S(c);CHECK,N_GUARD::S(G),XS(c)
        • S(d);OGATE,P_SPINS(d),XP(F)::R1(E),XS(d)
        • P(e);N_GUARD,XR(H)::S(G)
        • S(c);N_GUARD::S(G)
        • S(d);N_GUARD::S(D)
        • S(d);N_GUARD::S(D),XS(d)
      • Refutation
        • S(c);XR(H)
    • Try
      • Q(B);
      • Vars
        • S(c);CHECK,N_GUARD::S(G),XS(c)
        • K(b);OGATEB,S_FLIGHT,XS(D)::QAB1(B)
        • S(d);OGATE,P_SPINS(d),XP(F)::QAR1(B),XS(d)
        • P(e);N_GUARD,XR(H)::S(G)
        • S(c);N_GUARD::S(G)
        • S(d);N_GUARD::S(D)
        • S(d);N_GUARD::S(D),XS(d)
      • Refutation
        • S(c);XR(H)
    • Try
      • Q(B);P_PINS(c)
      • Threat
        • S(G)
      • Vars
        • P(e);N_GUARD,XR(H)::S(G)
      • Refutation
        • K(b);N_SPINS(c),S_FLIGHT,XS(D)
  • Actual
    • Q(B);
    • Vars
      • S(c);CHECK,N_GUARD::S(G),XS(c)
      • K(b);S_FLIGHT,XS(D)::B(I)+S(G)
      • S(c);N_GUARD,XR(H)::S(G)
      • S(d);OGATE,P_SPINS(d),XP(F)::R1(E),XS(d)
      • P(e);N_GUARD,XR(H)::S(G)
      • S(c);N_GUARD::S(G)
      • S(d);N_GUARD::S(D)
      • S(d);N_GUARD::S(D),XS(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).