Problem Display
PID: 149447 (2r5/R2n4/2kPp3/1rPp4/P1NR4/1P1N1Bp1/6K1/8 w - - 0 1)

Dawson, Thomas Rayner

Morning Post, 1921

2r5/R2n4/2kPp3/1rPp4/P1NR4/1P1N1Bp1/6K1/8

#2

10 + 7


15256 TRD Scrapbook 2014

SOLUTION


  • SOUND
  • Sets
    • 1...Rxb3
      • 2.Sa5#
    • 1...Rb4
      • 2.Sa5#
    • 1...Ra5
      • 2.Sxa5#
    • 1...Rxc5
      • 2.Sb4#
    • 1...Rb6
      • 2.Sa5#
    • 1...Rb7
      • 2.Sa5#
    • 1...Rbb8
      • 2.Sa5#
    • 1...Rc7
      • 2.Rxc7#
    • 1...Ra8
      • 2.Rc7#
    • 1...Rcb8
      • 2.Rc7#
    • 1...Rd8
      • 2.Rc7#
    • 1...Re8
      • 2.Rc7#
    • 1...Rf8
      • 2.Rc7#
    • 1...Rg8
      • 2.Rc7#
    • 1...Rh8
      • 2.Rc7#
    • 1...Sxc5
      • 2.Sde5#
    • 1...Se5
      • 2.Scxe5#
    • 1...Sb6
      • 2.Sce5#
    • 1...Sf6
      • 2.Sce5#
    • 1...Sb8
      • 2.Sce5#
    • 1...Sf8
      • 2.Sce5#
    • 1...e5
      • 2.Bxd5#
  • Tries
    • 1.Kf1?
      • 1...Rxb3
        • 2.Sa5#
      • 1...Rxc5
        • 2.Sb4#
      • 1...Sxc5
        • 2.Sde5#
      • 1...Rb4
        • 2.Sa5#
      • 1...Ra5
        • 2.Sxa5#
      • 1...Rb6
        • 2.Sa5#
      • 1...Rb7
        • 2.Sa5#
      • 1...Rbb8
        • 2.Sa5#
      • 1...Rc7
        • 2.Rxc7#
      • 1...Ra8
        • 2.Rc7#
      • 1...Rcb8
        • 2.Rc7#
      • 1...Rd8
        • 2.Rc7#
      • 1...Re8
        • 2.Rc7#
      • 1...Rf8
        • 2.Rc7#
      • 1...Rg8
        • 2.Rc7#
      • 1...Rh8
        • 2.Rc7#
      • 1...Se5
        • 2.Scxe5#
      • 1...Sb6
        • 2.Sce5#
      • 1...Sf6
        • 2.Sce5#
      • 1...Sb8
        • 2.Sce5#
      • 1...Sf8
        • 2.Sce5#
      • 1...e5
        • 2.Bxd5#
      • 1...g2+!
    • 1.Kg1?
      • 1...Rxb3
        • 2.Sa5#
      • 1...Rxc5
        • 2.Sb4#
      • 1...Sxc5
        • 2.Sde5#
      • 1...Rb4
        • 2.Sa5#
      • 1...Ra5
        • 2.Sxa5#
      • 1...Rb6
        • 2.Sa5#
      • 1...Rb7
        • 2.Sa5#
      • 1...Rbb8
        • 2.Sa5#
      • 1...Rc7
        • 2.Rxc7#
      • 1...Ra8
        • 2.Rc7#
      • 1...Rcb8
        • 2.Rc7#
      • 1...Rd8
        • 2.Rc7#
      • 1...Re8
        • 2.Rc7#
      • 1...Rf8
        • 2.Rc7#
      • 1...Rg8
        • 2.Rc7#
      • 1...Rh8
        • 2.Rc7#
      • 1...Se5
        • 2.Scxe5#
      • 1...Sb6
        • 2.Sce5#
      • 1...Sf6
        • 2.Sce5#
      • 1...Sb8
        • 2.Sce5#
      • 1...Sf8
        • 2.Sce5#
      • 1...e5
        • 2.Bxd5#
      • 1...g2!
    • 1.Kxg3?
      • 1...Rxb3
        • 2.Sa5#
      • 1...Rxc5
        • 2.Sb4#
      • 1...Sxc5
        • 2.Sde5#
      • 1...Rb4
        • 2.Sa5#
      • 1...Ra5
        • 2.Sxa5#
      • 1...Rb6
        • 2.Sa5#
      • 1...Rb7
        • 2.Sa5#
      • 1...Rbb8
        • 2.Sa5#
      • 1...Rc7
        • 2.Rxc7#
      • 1...Ra8
        • 2.Rc7#
      • 1...Rcb8
        • 2.Rc7#
      • 1...Rd8
        • 2.Rc7#
      • 1...Re8
        • 2.Rc7#
      • 1...Rf8
        • 2.Rc7#
      • 1...Rh8
        • 2.Rc7#
      • 1...Se5
        • 2.Scxe5#
      • 1...Sb6
        • 2.Sce5#
      • 1...Sf6
        • 2.Sce5#
      • 1...Sb8
        • 2.Sce5#
      • 1...Sf8
        • 2.Sce5#
      • 1...e5
        • 2.Bxd5#
      • 1...Rg8+!
    • 1.Bd1?
      • 1...Rxb3
        • 2.Sa5#
      • 1...Rxc5
        • 2.Sb4#
      • 1...Sxc5
        • 2.Sde5#
      • 1...dxc4
        • 2.Bf3#
      • 1...Rb4
        • 2.Sa5#
      • 1...Ra5
        • 2.Sxa5#
      • 1...Rb6
        • 2.Sa5#
      • 1...Rb7
        • 2.Sa5#
      • 1...Rbb8
        • 2.Sa5#
      • 1...Rc7
        • 2.Rxc7#
      • 1...Ra8
        • 2.Rc7#
      • 1...Rcb8
        • 2.Rc7#
      • 1...Rd8
        • 2.Rc7#
      • 1...Re8
        • 2.Rc7#
      • 1...Rf8
        • 2.Rc7#
      • 1...Rg8
        • 2.Rc7#
      • 1...Rh8
        • 2.Rc7#
      • 1...Se5
        • 2.Scxe5#
      • 1...Sb6
        • 2.Sce5#
      • 1...Sf6
        • 2.Sce5#
      • 1...Sb8
        • 2.Sce5#
      • 1...Sf8
        • 2.Sce5#
      • 1...e5!
    • 1.Be2?
      • 1...Rxb3
        • 2.Sa5#
      • 1...Rxc5
        • 2.Sb4#
      • 1...Sxc5
        • 2.Sde5#
      • 1...dxc4
        • 2.Bf3#
      • 1...Rb4
        • 2.Sa5#
      • 1...Ra5
        • 2.Sxa5#
      • 1...Rb6
        • 2.Sa5#
      • 1...Rb7
        • 2.Sa5#
      • 1...Rbb8
        • 2.Sa5#
      • 1...Rc7
        • 2.Rxc7#
      • 1...Ra8
        • 2.Rc7#
      • 1...Rcb8
        • 2.Rc7#
      • 1...Rd8
        • 2.Rc7#
      • 1...Re8
        • 2.Rc7#
      • 1...Rf8
        • 2.Rc7#
      • 1...Rg8
        • 2.Rc7#
      • 1...Rh8
        • 2.Rc7#
      • 1...Se5
        • 2.Scxe5#
      • 1...Sb6
        • 2.Sce5#
      • 1...Sf6
        • 2.Sce5#
      • 1...Sb8
        • 2.Sce5#
      • 1...Sf8
        • 2.Sce5#
      • 1...e5!
    • 1.Be4?
      • 1...Rxb3
        • 2.Sa5#
      • 1...Rxc5
        • 2.Sb4#
      • 1...Sxc5
        • 2.Sde5#
      • 1...Rb4
        • 2.Sa5#
      • 1...Ra5
        • 2.Sxa5#
      • 1...Rb6
        • 2.Sa5#
      • 1...Rb7
        • 2.Sa5#
      • 1...Rbb8
        • 2.Sa5#
      • 1...Rc7
        • 2.Rxc7#
      • 1...Ra8
        • 2.Rc7#
      • 1...Rcb8
        • 2.Rc7#
      • 1...Rd8
        • 2.Rc7#
      • 1...Re8
        • 2.Rc7#
      • 1...Rf8
        • 2.Rc7#
      • 1...Rg8
        • 2.Rc7#
      • 1...Rh8
        • 2.Rc7#
      • 1...Se5
        • 2.Scxe5#
      • 1...Sb6
        • 2.Sce5#
      • 1...Sf6
        • 2.Sce5#
      • 1...Sb8
        • 2.Sce5#
      • 1...Sf8
        • 2.Sce5#
      • 1...e5
        • 2.Bxd5#
      • 1...dxe4!
    • 1.Bh5?
      • 1...Rxb3
        • 2.Sa5#
      • 1...Rxc5
        • 2.Sb4#
      • 1...Sxc5
        • 2.Sde5#
      • 1...dxc4
        • 2.Bf3#
      • 1...Rb4
        • 2.Sa5#
      • 1...Ra5
        • 2.Sxa5#
      • 1...Rb6
        • 2.Sa5#
      • 1...Rb7
        • 2.Sa5#
      • 1...Rbb8
        • 2.Sa5#
      • 1...Rc7
        • 2.Rxc7#
      • 1...Ra8
        • 2.Rc7#
      • 1...Rcb8
        • 2.Rc7#
      • 1...Rd8
        • 2.Rc7#
      • 1...Re8
        • 2.Rc7#
      • 1...Rf8
        • 2.Rc7#
      • 1...Rg8
        • 2.Rc7#
      • 1...Rh8
        • 2.Rc7#
      • 1...Se5
        • 2.Scxe5#
      • 1...Sb6
        • 2.Sce5#
      • 1...Sf6
        • 2.Sce5#
      • 1...Sb8
        • 2.Sce5#
      • 1...Sf8
        • 2.Sce5#
      • 1...e5!
    • 1.Re4?
      • 1...Rxb3
        • 2.Sa5#
      • 1...Rxc5
        • 2.Sb4#
      • 1...Sxc5
        • 2.Sde5#
      • 1...dxc4
        • 2.Re1#
        • 2.Re2#
        • 2.Re3#
        • 2.Rxc4#
        • 2.Rd4#
        • 2.Rf4#
        • 2.Rg4#
        • 2.Rh4#
        • 2.Re5#
        • 2.Rxe6#
      • 1...dxe4
        • 2.Bxe4#
      • 1...d4
        • 2.Re1#
        • 2.Re2#
        • 2.Re3#
        • 2.Rxd4#
        • 2.Rf4#
        • 2.Rg4#
        • 2.Rh4#
        • 2.Re5#
        • 2.Rxe6#
      • 1...Rb4
        • 2.Sa5#
      • 1...Ra5
        • 2.Sxa5#
      • 1...Rb6
        • 2.Sa5#
      • 1...Rb7
        • 2.Sa5#
      • 1...Rbb8
        • 2.Sa5#
      • 1...Rc7
        • 2.Rxc7#
      • 1...Ra8
        • 2.Rc7#
      • 1...Rcb8
        • 2.Rc7#
      • 1...Rd8
        • 2.Rc7#
      • 1...Re8
        • 2.Rc7#
      • 1...Rf8
        • 2.Rc7#
      • 1...Rg8
        • 2.Rc7#
      • 1...Rh8
        • 2.Rc7#
      • 1...Se5
        • 2.Scxe5#
      • 1...Sb6
        • 2.Sce5#
      • 1...Sf6
        • 2.Sce5#
      • 1...Sb8
        • 2.Sce5#
      • 1...Sf8
        • 2.Sce5#
      • 1...e5!
    • 1.Rf4?
      • 1...Rxb3
        • 2.Sa5#
      • 1...Rxc5
        • 2.Sb4#
      • 1...Sxc5
        • 2.Sde5#
      • 1...Rb4
        • 2.Sa5#
      • 1...Ra5
        • 2.Sxa5#
      • 1...Rb6
        • 2.Sa5#
      • 1...Rb7
        • 2.Sa5#
      • 1...Rbb8
        • 2.Sa5#
      • 1...Rc7
        • 2.Rxc7#
      • 1...Ra8
        • 2.Rc7#
      • 1...Rcb8
        • 2.Rc7#
      • 1...Rd8
        • 2.Rc7#
      • 1...Re8
        • 2.Rc7#
      • 1...Rf8
        • 2.Rc7#
      • 1...Rg8
        • 2.Rc7#
      • 1...Rh8
        • 2.Rc7#
      • 1...Se5
        • 2.Scxe5#
      • 1...Sb6
        • 2.Sce5#
      • 1...Sf6
        • 2.Sce5#
      • 1...Sb8
        • 2.Sce5#
      • 1...Sf8
        • 2.Sce5#
      • 1...e5!
    • 1.Rg4?
      • 1...Rxb3
        • 2.Sa5#
      • 1...Rxc5
        • 2.Sb4#
      • 1...Sxc5
        • 2.Sde5#
      • 1...Rb4
        • 2.Sa5#
      • 1...Ra5
        • 2.Sxa5#
      • 1...Rb6
        • 2.Sa5#
      • 1...Rb7
        • 2.Sa5#
      • 1...Rbb8
        • 2.Sa5#
      • 1...Rc7
        • 2.Rxc7#
      • 1...Ra8
        • 2.Rc7#
      • 1...Rcb8
        • 2.Rc7#
      • 1...Rd8
        • 2.Rc7#
      • 1...Re8
        • 2.Rc7#
      • 1...Rf8
        • 2.Rc7#
      • 1...Rg8
        • 2.Rc7#
      • 1...Rh8
        • 2.Rc7#
      • 1...Se5
        • 2.Scxe5#
      • 1...Sb6
        • 2.Sce5#
      • 1...Sf6
        • 2.Sce5#
      • 1...Sb8
        • 2.Sce5#
      • 1...Sf8
        • 2.Sce5#
      • 1...e5!
    • 1.Rh4?
      • 1...Rxb3
        • 2.Sa5#
      • 1...Rxc5
        • 2.Sb4#
      • 1...Sxc5
        • 2.Sde5#
      • 1...Rb4
        • 2.Sa5#
      • 1...Ra5
        • 2.Sxa5#
      • 1...Rb6
        • 2.Sa5#
      • 1...Rb7
        • 2.Sa5#
      • 1...Rbb8
        • 2.Sa5#
      • 1...Rc7
        • 2.Rxc7#
      • 1...Ra8
        • 2.Rc7#
      • 1...Rcb8
        • 2.Rc7#
      • 1...Rd8
        • 2.Rc7#
      • 1...Re8
        • 2.Rc7#
      • 1...Rf8
        • 2.Rc7#
      • 1...Rg8
        • 2.Rc7#
      • 1...Rh8
        • 2.Rc7#
      • 1...Se5
        • 2.Scxe5#
      • 1...Sb6
        • 2.Sce5#
      • 1...Sf6
        • 2.Sce5#
      • 1...Sb8
        • 2.Sce5#
      • 1...Sf8
        • 2.Sce5#
      • 1...e5!
    • 1.Rxd5?
      • threat
        • 2.Rd4#
        • 2.Re5#
        • 2.Rf5#
        • 2.Rg5#
        • 2.Rh5#
      • 1...Rxc5
        • 2.Sb4#
        • 2.Rxc5#
      • 1...Sxc5
        • 2.Sde5#
        • 2.Rxc5#
      • 1...e5
        • 2.Rxe5#
      • 1...Rf8
        • 2.Rf5#
        • 2.Rc7#
      • 1...Se5
        • 2.Sdxe5#
        • 2.Scxe5#
        • 2.Rxe5#
      • 1...Sb6
        • 2.Sde5#
        • 2.Sce5#
      • 1...Sf6
        • 2.Sde5#
        • 2.Sce5#
      • 1...exd5!
    • 1.Rxd7?
      • threat
        • 2.Sce5#
      • 1...Rxc5
        • 2.Sde5#
      • 1...Rc7
        • 2.Rxc7#
      • 1...e5
        • 2.Scxe5#
      • 1...Kxd7!
    • 1.b4?
      • 1...Rxb4
        • 2.Sa5#
      • 1...Sxc5
        • 2.Sde5#
      • 1...e5
        • 2.Bxd5#
      • 1...Ra5
        • 2.Sxa5#
      • 1...Rb6
        • 2.Sa5#
      • 1...Rb7
        • 2.Sa5#
      • 1...Rbb8
        • 2.Sa5#
      • 1...Rc7
        • 2.Rxc7#
      • 1...Ra8
        • 2.Rc7#
      • 1...Rcb8
        • 2.Rc7#
      • 1...Rd8
        • 2.Rc7#
      • 1...Re8
        • 2.Rc7#
      • 1...Rf8
        • 2.Rc7#
      • 1...Rg8
        • 2.Rc7#
      • 1...Rh8
        • 2.Rc7#
      • 1...Se5
        • 2.Sdxe5#
        • 2.Scxe5#
      • 1...Sb6
        • 2.Sde5#
        • 2.Sce5#
      • 1...Sf6
        • 2.Sde5#
        • 2.Sce5#
      • 1...Sb8
        • 2.Sde5#
        • 2.Sce5#
      • 1...Sf8
        • 2.Sde5#
        • 2.Sce5#
      • 1...Rxc5!
  • Keys
    • 1.Bg4!
      • 1...Rxb3
        • 2.Sa5#
      • 1...Rxc5
        • 2.Sb4#
      • 1...Sxc5
        • 2.Sde5#
      • 1...dxc4
        • 2.Bf3#
      • 1...Rb4
        • 2.Sa5#
      • 1...Ra5
        • 2.Sxa5#
      • 1...Rb6
        • 2.Sa5#
      • 1...Rb7
        • 2.Sa5#
      • 1...Rbb8
        • 2.Sa5#
      • 1...Rc7
        • 2.Rxc7#
      • 1...Ra8
        • 2.Rc7#
      • 1...Rcb8
        • 2.Rc7#
      • 1...Rd8
        • 2.Rc7#
      • 1...Re8
        • 2.Rc7#
      • 1...Rf8
        • 2.Rc7#
      • 1...Rg8
        • 2.Rc7#
      • 1...Rh8
        • 2.Rc7#
      • 1...Se5
        • 2.Scxe5#
      • 1...Sb6
        • 2.Sce5#
      • 1...Sf6
        • 2.Sce5#
      • 1...Sb8
        • 2.Sce5#
      • 1...Sf8
        • 2.Sce5#
      • 1...e5
        • 2.Bxd7#

There are these versions: 149448

FEATURES


  • Static
    • TYPE = MUTATE
    • CHANGED MATES = 1
    • ADDED MATES = 1
    • REMOVED MATES = 0
  • Sets
    • R(b);N_GUARD,XP(B)::S(F)
    • R(b);N_GUARD::S(F)
    • R(b);N_GUARD::S(F),XR(b)
    • R(b);N_GUARD,SBLOCK,XP(H)::S(C)
    • R(g);N_GUARD::R1(J),XR(g)
    • R(g);N_GUARD::R1(J)
    • S(f);N_GUARD,SBLOCK,XP(H)::S(C)
    • S(f);N_GUARD::S(F),XS(f)
    • S(f);N_GUARD::S(F)
    • P(e);N_GUARD::B(D),XP(c)
  • Tries
    • Try
      • K(A);S_FLIGHT
      • Vars
        • R(b);N_GUARD,XP(B)::S(F)
        • R(b);N_GUARD,SBLOCK,XP(H)::S(C)
        • S(f);N_GUARD,SBLOCK,XP(H)::S(C)
        • R(b);N_GUARD::S(F)
        • R(b);N_GUARD::S(F),XR(b)
        • R(g);N_GUARD::R1(J),XR(g)
        • R(g);N_GUARD::R1(J)
        • R(g);N_GUARD,P_PINB(D)::R1(J)
        • S(f);N_GUARD::S(F),XS(f)
        • S(f);N_GUARD::S(F)
        • P(e);N_GUARD::B(D),XP(c)
      • Refutation
        • P(a);CHECK
    • Try
      • K(A);P-FLIGHT
      • Vars
        • R(b);N_GUARD,XP(B)::S(F)
        • R(b);N_GUARD,SBLOCK,XP(H)::S(C)
        • S(f);N_GUARD,SBLOCK,XP(H)::S(C)
        • R(b);N_GUARD::S(F)
        • R(b);N_GUARD::S(F),XR(b)
        • R(g);N_GUARD::R1(J),XR(g)
        • R(g);N_GUARD::R1(J)
        • S(f);N_GUARD::S(F),XS(f)
        • S(f);N_GUARD::S(F)
        • P(e);N_GUARD::B(D),XP(c)
      • Refutation
        • P(a);
    • Try
      • K(A);P-FLIGHT,XP(a)
      • Vars
        • R(b);N_GUARD,XP(B)::S(F)
        • R(b);N_GUARD,SBLOCK,XP(H)::S(C)
        • S(f);N_GUARD,SBLOCK,XP(H)::S(C)
        • R(b);N_GUARD::S(F)
        • R(b);N_GUARD::S(F),XR(b)
        • R(g);N_GUARD::R1(J),XR(g)
        • R(g);N_GUARD::R1(J)
        • S(f);N_GUARD::S(F),XS(f)
        • S(f);N_GUARD::S(F)
        • P(e);N_GUARD::B(D),XP(c)
      • Refutation
        • R(g);CHECK
    • Try
      • B(D);N_PINP(c)
      • Vars
        • R(b);N_GUARD,XP(B)::S(F)
        • R(b);N_GUARD,SBLOCK,XP(H)::S(C)
        • S(f);N_GUARD,SBLOCK,XP(H)::S(C)
        • P(c);OGATEB,XS(F)::B(D)
        • R(b);N_GUARD::S(F)
        • R(b);N_GUARD::S(F),XR(b)
        • R(g);N_GUARD::R1(J),XR(g)
        • R(g);N_GUARD::R1(J)
        • S(f);N_GUARD::S(F),XS(f)
        • S(f);N_GUARD::S(F)
      • Refutation
        • P(e);
    • Try
      • B(D);N_PINP(c)
      • Vars
        • R(b);N_GUARD,XP(B)::S(F)
        • R(b);N_GUARD,SBLOCK,XP(H)::S(C)
        • S(f);N_GUARD,SBLOCK,XP(H)::S(C)
        • P(c);OGATEB,XS(F)::B(D)
        • R(b);N_GUARD::S(F)
        • R(b);N_GUARD::S(F),XR(b)
        • R(g);N_GUARD::R1(J),XR(g)
        • R(g);N_GUARD::R1(J)
        • S(f);N_GUARD::S(F),XS(f)
        • S(f);N_GUARD::S(F)
      • Refutation
        • P(e);
    • Try
      • B(D);
      • Vars
        • R(b);N_GUARD,XP(B)::S(F)
        • R(b);N_GUARD,SBLOCK,XP(H)::S(C)
        • S(f);N_GUARD,SBLOCK,XP(H)::S(C)
        • R(b);N_GUARD::S(F)
        • R(b);N_GUARD::S(F),XR(b)
        • R(g);N_GUARD::R1(J),XR(g)
        • R(g);N_GUARD::R1(J)
        • S(f);N_GUARD::S(F),XS(f)
        • S(f);N_GUARD::S(F)
        • P(e);N_GUARD::B(D),XP(c)
      • Refutation
        • P(c);N_SPINP(c),XB(D)
    • Try
      • B(D);N_PINP(c)
      • Vars
        • R(b);N_GUARD,XP(B)::S(F)
        • R(b);N_GUARD,SBLOCK,XP(H)::S(C)
        • S(f);N_GUARD,SBLOCK,XP(H)::S(C)
        • P(c);OGATEB,XS(F)::B(D)
        • R(b);N_GUARD::S(F)
        • R(b);N_GUARD::S(F),XR(b)
        • R(g);N_GUARD::R1(J),XR(g)
        • R(g);N_GUARD::R1(J)
        • S(f);N_GUARD::S(F),XS(f)
        • S(f);N_GUARD::S(F)
      • Refutation
        • P(e);
    • Try
      • R(G);N_PINP(c)
      • Vars
        • R(b);N_GUARD,XP(B)::S(F)
        • R(b);N_GUARD,SBLOCK,XP(H)::S(C)
        • S(f);N_GUARD,SBLOCK,XP(H)::S(C)
        • P(c);OGATE,P_SPINP(c),XR(G)::B(D),XP(c)
        • R(b);N_GUARD::S(F)
        • R(b);N_GUARD::S(F),XR(b)
        • R(g);N_GUARD::R1(J),XR(g)
        • R(g);N_GUARD::R1(J)
        • S(f);N_GUARD::S(F),XS(f)
        • S(f);N_GUARD::S(F)
      • Refutation
        • P(e);
    • Try
      • R(G);
      • Vars
        • R(b);N_GUARD,XP(B)::S(F)
        • R(b);N_GUARD,SBLOCK,XP(H)::S(C)
        • S(f);N_GUARD,SBLOCK,XP(H)::S(C)
        • R(b);N_GUARD::S(F)
        • R(b);N_GUARD::S(F),XR(b)
        • R(g);N_GUARD::R1(J),XR(g)
        • R(g);N_GUARD::R1(J)
        • S(f);N_GUARD::S(F),XS(f)
        • S(f);N_GUARD::S(F)
      • Refutation
        • P(e);
    • Try
      • R(G);
      • Vars
        • R(b);N_GUARD,XP(B)::S(F)
        • R(b);N_GUARD,SBLOCK,XP(H)::S(C)
        • S(f);N_GUARD,SBLOCK,XP(H)::S(C)
        • R(b);N_GUARD::S(F)
        • R(b);N_GUARD::S(F),XR(b)
        • R(g);N_GUARD::R1(J),XR(g)
        • R(g);N_GUARD::R1(J)
        • S(f);N_GUARD::S(F),XS(f)
        • S(f);N_GUARD::S(F)
      • Refutation
        • P(e);
    • Try
      • R(G);
      • Vars
        • R(b);N_GUARD,XP(B)::S(F)
        • R(b);N_GUARD,SBLOCK,XP(H)::S(C)
        • S(f);N_GUARD,SBLOCK,XP(H)::S(C)
        • R(b);N_GUARD::S(F)
        • R(b);N_GUARD::S(F),XR(b)
        • R(g);N_GUARD::R1(J),XR(g)
        • R(g);N_GUARD::R1(J)
        • S(f);N_GUARD::S(F),XS(f)
        • S(f);N_GUARD::S(F)
      • Refutation
        • P(e);
    • Try
      • R(G);XP(c)
      • Threat
        • DUALS(5)
      • Vars
        • P(e);::B(D)+R(G),XP(e)
      • Refutation
        • P(e);P_SPINP(e),XR(G)
    • Try
      • R(J);XS(f)
      • Threat
        • S(F)
      • Vars
        • R(b);SBLOCK,XP(H)::S(C)
        • R(g);N_GUARD::R1(J),XR(g)
        • P(e);::S(F),XP(e)
      • Refutation
        • K(d);N_SPINP(c),S_FLIGHT,XR(J)
    • Try
      • P(B);
      • Vars
        • R(b);N_GUARD,XP(B)::S(F)
        • S(f);N_GUARD,XP(H)::S(C)
        • P(e);N_GUARD::B(D),XP(c)
        • R(b);N_GUARD::S(F),XR(b)
        • R(b);N_GUARD::S(F)
        • R(g);N_GUARD::R1(J),XR(g)
        • R(g);N_GUARD::R1(J)
      • Refutation
        • R(b);XP(H)
  • Actual
    • B(D);N_PINP(c)
    • Vars
      • R(b);N_GUARD,XP(B)::S(F)
      • R(b);N_GUARD,SBLOCK,XP(H)::S(C)
      • S(f);N_GUARD,SBLOCK,XP(H)::S(C)
      • P(c);OGATEB,XS(F)::B(D)
      • R(b);N_GUARD::S(F)
      • R(b);N_GUARD::S(F),XR(b)
      • R(g);N_GUARD::R1(J),XR(g)
      • R(g);N_GUARD::R1(J)
      • S(f);N_GUARD::S(F),XS(f)
      • S(f);N_GUARD::S(F)
      • P(e);OGATE::B(D),XS(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).