MESON Chess Problem Database

Problem Display
PID: 31743 (3R2n1/2p3P1/2P1N2b/K2N1knP/2BBq3/3PQp1P/5P2/4R3 w - - 0 1)

Rowland, Frideswide F (Mrs TB, nee Beechey)

4th Prize, Leeds Mercury Weekly Supplement, 1882

(First published on Sat Jul 15 1882)

3R2n1/2p3P1/2P1N2b/K2N1knP/2BBq3/3PQp1P/5P2/4R3

#2

14 + 7

3467 Chess Blossoms 1883
187 The Chess Bouquet 1897
15239 Valois Notebooks 2020

SOLUTION

  • SOUND
  • Sets
    • 1...Qxd3
      • 2.Qf4#
      • 2.Qe5#
    • 1...Qxd5+
      • 2.Rxd5#
    • 1...Qxe3
      • 2.Sxe3#
    • 1...Qxd4
      • 2.Sxd4#
    • 1...Qf4
      • 2.Qxf4#
    • 1...Qg4
      • 2.Qe5#
    • 1...Qh4
      • 2.Qe5#
    • 1...Qe5
      • 2.Qxe5#
    • 1...Qxe6
      • 2.Qf4#
    • 1...Bxg7
      • 2.Sxg7#
    • 1...Sxh3
      • 2.Qxe4#
    • 1...Sxe6
      • 2.dxe4#
    • 1...Sf7
      • 2.Qxe4#
    • 1...Sh7
      • 2.Qxe4#
    • 1...Sf6
      • 2.Se7#
    • 1...Se7
      • 2.Sxe7#
  • Tries
    • 1.Ka4?
      • 1...Qxd3
        • 2.Qf4#
        • 2.Qe5#
      • 1...Qxd5
        • 2.Rxd5#
        • 2.Qf4#
      • 1...Qxe3
        • 2.Sxe3#
      • 1...Qxd4
        • 2.Sxd4#
      • 1...Qxe6
        • 2.Qf4#
      • 1...Bxg7
        • 2.Sxg7#
      • 1...Sxh3
        • 2.Qxe4#
      • 1...Sxe6
        • 2.dxe4#
      • 1...Qf4
        • 2.Qxf4#
      • 1...Qg4
        • 2.Qe5#
      • 1...Qh4
        • 2.Qe5#
      • 1...Qe5
        • 2.Qxe5#
      • 1...Sf7
        • 2.Qxe4#
      • 1...Sh7
        • 2.Qxe4#
      • 1...Sf6
        • 2.Se7#
      • 1...Se7
        • 2.Sxe7#
      • 1...Kxe6!
    • 1.Kb4?
      • 1...Qxd3
        • 2.Qf4#
        • 2.Qe5#
      • 1...Qxd5
        • 2.Rxd5#
        • 2.Qf4#
      • 1...Qxe3
        • 2.Sxe3#
      • 1...Qxd4
        • 2.Sxd4#
      • 1...Qxe6
        • 2.Qf4#
      • 1...Bxg7
        • 2.Sxg7#
      • 1...Sxh3
        • 2.Qxe4#
      • 1...Sxe6
        • 2.dxe4#
      • 1...Qf4
        • 2.Qxf4#
      • 1...Qg4
        • 2.Qe5#
      • 1...Qh4
        • 2.Qe5#
      • 1...Qe5
        • 2.Qxe5#
      • 1...Sf7
        • 2.Qxe4#
      • 1...Sh7
        • 2.Qxe4#
      • 1...Sf6
        • 2.Se7#
      • 1...Se7
        • 2.Sxe7#
      • 1...Kxe6!
    • 1.Kb5?
      • 1...Qxd5+
        • 2.Rxd5#
      • 1...Qxd3
        • 2.Qf4#
        • 2.Qe5#
      • 1...Qxe3
        • 2.Sxe3#
      • 1...Qxd4
        • 2.Sxd4#
      • 1...Qxe6
        • 2.Qf4#
      • 1...Bxg7
        • 2.Sxg7#
      • 1...Sxh3
        • 2.Qxe4#
      • 1...Sxe6
        • 2.dxe4#
      • 1...Qf4
        • 2.Qxf4#
      • 1...Qg4
        • 2.Qe5#
      • 1...Qh4
        • 2.Qe5#
      • 1...Qe5
        • 2.Qxe5#
      • 1...Sf7
        • 2.Qxe4#
      • 1...Sh7
        • 2.Qxe4#
      • 1...Sf6
        • 2.Se7#
      • 1...Se7
        • 2.Sxe7#
      • 1...Kxe6!
    • 1.Ka6?
      • 1...Qxd3
        • 2.Qf4#
        • 2.Qe5#
      • 1...Qxd5
        • 2.Rxd5#
        • 2.Qf4#
      • 1...Qxe3
        • 2.Sxe3#
      • 1...Qxd4
        • 2.Sxd4#
      • 1...Qxe6
        • 2.Qf4#
      • 1...Bxg7
        • 2.Sxg7#
      • 1...Sxh3
        • 2.Qxe4#
      • 1...Sxe6
        • 2.dxe4#
      • 1...Qf4
        • 2.Qxf4#
      • 1...Qg4
        • 2.Qe5#
      • 1...Qh4
        • 2.Qe5#
      • 1...Qe5
        • 2.Qxe5#
      • 1...Sf7
        • 2.Qxe4#
      • 1...Sh7
        • 2.Qxe4#
      • 1...Sf6
        • 2.Se7#
      • 1...Se7
        • 2.Sxe7#
      • 1...Kxe6!
    • 1.Ba2?
      • 1...Qxd5+
        • 2.Rxd5#
      • 1...Qxd3
        • 2.Qf4#
        • 2.Qe5#
      • 1...Qxe3
        • 2.Sxe3#
      • 1...Qxd4
        • 2.Sxd4#
      • 1...Qxe6
        • 2.Qf4#
      • 1...Bxg7
        • 2.Sxg7#
      • 1...Sxh3
        • 2.Qxe4#
      • 1...Sxe6
        • 2.dxe4#
      • 1...Qf4
        • 2.Qxf4#
      • 1...Qg4
        • 2.Qe5#
      • 1...Qh4
        • 2.Qe5#
      • 1...Qe5
        • 2.Qxe5#
      • 1...Sf7
        • 2.Qxe4#
      • 1...Sh7
        • 2.Qxe4#
      • 1...Sf6
        • 2.Se7#
      • 1...Se7
        • 2.Sxe7#
      • 1...Kxe6!
    • 1.Bb3?
      • 1...Qxd5+
        • 2.Rxd5#
      • 1...Qxd3
        • 2.Qf4#
        • 2.Qe5#
      • 1...Qxe3
        • 2.Sxe3#
      • 1...Qxd4
        • 2.Sxd4#
      • 1...Qxe6
        • 2.Qf4#
      • 1...Bxg7
        • 2.Sxg7#
      • 1...Sxh3
        • 2.Qxe4#
      • 1...Sxe6
        • 2.dxe4#
      • 1...Qf4
        • 2.Qxf4#
      • 1...Qg4
        • 2.Qe5#
      • 1...Qh4
        • 2.Qe5#
      • 1...Qe5
        • 2.Qxe5#
      • 1...Sf7
        • 2.Qxe4#
      • 1...Sh7
        • 2.Qxe4#
      • 1...Sf6
        • 2.Se7#
      • 1...Se7
        • 2.Sxe7#
      • 1...Kxe6!
    • 1.Ba1?
      • 1...Qxd5+
        • 2.Rxd5#
      • 1...Qxd3
        • 2.Qf4#
        • 2.Qe5#
      • 1...Qxe3
        • 2.Sxe3#
      • 1...Qxc4
        • 2.Qe5#
      • 1...Qxe6
        • 2.Qf4#
      • 1...Bxg7
        • 2.Sxg7#
      • 1...Sxh3
        • 2.Qxe4#
      • 1...Sxe6
        • 2.dxe4#
      • 1...Qd4
        • 2.Sxd4#
      • 1...Qf4
        • 2.Qxf4#
      • 1...Qg4
        • 2.Qe5#
      • 1...Qh4
        • 2.Qe5#
      • 1...Qe5
        • 2.Qxe5#
      • 1...Sf7
        • 2.Qxe4#
      • 1...Sh7
        • 2.Qxe4#
      • 1...Sf6
        • 2.Se7#
      • 1...Se7
        • 2.Sxe7#
      • 1...Kxe6!
    • 1.Bb2?
      • 1...Qxd5+
        • 2.Rxd5#
      • 1...Qxd3
        • 2.Qf4#
        • 2.Qe5#
      • 1...Qxe3
        • 2.Sxe3#
      • 1...Qxc4
        • 2.Qe5#
      • 1...Qxe6
        • 2.Qf4#
      • 1...Bxg7
        • 2.Sxg7#
      • 1...Sxh3
        • 2.Qxe4#
      • 1...Sxe6
        • 2.dxe4#
      • 1...Qd4
        • 2.Sxd4#
      • 1...Qf4
        • 2.Qxf4#
      • 1...Qg4
        • 2.Qe5#
      • 1...Qh4
        • 2.Qe5#
      • 1...Qe5
        • 2.Qxe5#
      • 1...Sf7
        • 2.Qxe4#
      • 1...Sh7
        • 2.Qxe4#
      • 1...Sf6
        • 2.Se7#
      • 1...Se7
        • 2.Sxe7#
      • 1...Kxe6!
    • 1.Bc3?
      • 1...Qxd5+
        • 2.Rxd5#
      • 1...Qxd3
        • 2.Qf4#
        • 2.Qe5#
      • 1...Qxe3
        • 2.Sxe3#
      • 1...Qxc4
        • 2.Qe5#
      • 1...Qxe6
        • 2.Qf4#
      • 1...Bxg7
        • 2.Sxg7#
      • 1...Sxh3
        • 2.Qxe4#
      • 1...Sxe6
        • 2.dxe4#
      • 1...Qd4
        • 2.Sxd4#
      • 1...Qf4
        • 2.Qxf4#
      • 1...Qg4
        • 2.Qe5#
      • 1...Qh4
        • 2.Qe5#
      • 1...Qe5
        • 2.Qxe5#
      • 1...Sf7
        • 2.Qxe4#
      • 1...Sh7
        • 2.Qxe4#
      • 1...Sf6
        • 2.Se7#
      • 1...Se7
        • 2.Sxe7#
      • 1...Kxe6!
    • 1.Rd6?
      • 1...Qxd5+
        • 2.Rxd5#
      • 1...Qxd3
        • 2.Qf4#
        • 2.Qe5#
      • 1...Qxe3
        • 2.Sxe3#
      • 1...Qxd4
        • 2.Sxd4#
      • 1...Qxe6
        • 2.Qf4#
      • 1...Bxg7
        • 2.Sxg7#
        • 2.Qxg5#
      • 1...Sxh3
        • 2.Qxe4#
      • 1...Sxe6
        • 2.dxe4#
      • 1...Qf4
        • 2.Qxf4#
      • 1...Qg4
        • 2.Qe5#
      • 1...Qh4
        • 2.Qe5#
      • 1...Qe5
        • 2.Qxe5#
      • 1...Sf7
        • 2.Qxe4#
        • 2.dxe4#
      • 1...Sh7
        • 2.Qxe4#
        • 2.dxe4#
      • 1...Sf6
        • 2.Se7#
      • 1...Se7
        • 2.Sxe7#
      • 1...cxd6!
    • 1.Re8?
      • 1...Qxd3
        • 2.Qf4#
        • 2.Qe5#
      • 1...Qxe3
        • 2.Sxe3#
      • 1...Qxd4
        • 2.Sxd4#
      • 1...Qxe6
        • 2.Qf4#
      • 1...Bxg7
        • 2.Sxg7#
        • 2.Qxg5#
      • 1...Sxh3
        • 2.Qxe4#
      • 1...Sxe6
        • 2.dxe4#
      • 1...Se7
        • 2.Sxe7#
      • 1...Qf4
        • 2.Qxf4#
      • 1...Qg4
        • 2.Qe5#
      • 1...Qh4
        • 2.Qe5#
      • 1...Qe5
        • 2.Qxe5#
      • 1...Sf7
        • 2.Qxe4#
        • 2.dxe4#
      • 1...Sh7
        • 2.Qxe4#
        • 2.dxe4#
      • 1...Sf6
        • 2.Se7#
      • 1...Qxd5+!
    • 1.Rf8+?
      • 1...Sf7
        • 2.Qxe4#
      • 1...Sf6
        • 2.Se7#
        • 2.Rxf6#
      • 1...Kxe6!
    • 1.Qxg5+?
      • 1...Kxe6
        • 2.Sc3#
        • 2.Sb4#
        • 2.Sf4#
        • 2.Sb6#
        • 2.Sxc7#
        • 2.Se7#
      • 1...Bxg5!
    • 1.dxe4+?
      • 1...Sxe4
        • 2.Qxe4#
      • 1...Kxe6!
  • Keys
    • 1.Rd7!
      • 1...Qxd5+
        • 2.Rxd5#
      • 1...Kxe6
        • 2.Se7#
      • 1...Qxd3
        • 2.Qf4#
        • 2.Qe5#
      • 1...Qxe3
        • 2.Sxe3#
      • 1...Qxd4
        • 2.Sxd4#
      • 1...Qxe6
        • 2.Qf4#
      • 1...Bxg7
        • 2.Sxg7#
      • 1...Sxh3
        • 2.Qxe4#
      • 1...Sxe6
        • 2.dxe4#
      • 1...Qf4
        • 2.Qxf4#
      • 1...Qg4
        • 2.Qe5#
      • 1...Qh4
        • 2.Qe5#
      • 1...Qe5
        • 2.Qxe5#
      • 1...Sf7
        • 2.Qxe4#
      • 1...Sh7
        • 2.Qxe4#
      • 1...Sf6
        • 2.Se7#
      • 1...Se7
        • 2.Sxe7#

FEATURES

  • Static
    • TYPE = INCOMPLETE_BLOCK
    • CHANGED MATES = 0
    • ADDED MATES = 1
    • REMOVED MATES = 0
  • Sets
    • Q(b);CHECK,OGATE,XS(I)::R(N),XQ(b)
    • Q(b);XQ(D)::S(I),XQ(b)
    • Q(b);XB(G)::S(L),XQ(b)
    • Q(b);N_GUARD::QAR1(D),XQ(b)
    • Q(b);OGATE::QAR1(D)
    • Q(b);OGATE,P_PINS(I)::QAR1(D),XQ(b)
    • Q(b);N_GUARD,XS(L)::QAR1(D)
    • B(e);XP(M)::S(L),XB(e)
    • S(d);N_GUARD,XP(E)::QAB1(D),XQ(b)
    • S(d);N_GUARD,SBLOCK,XS(L)::P(C),XQ(b)
    • S(d);N_GUARD::QAB1(D),XQ(b)
    • S(g);N_GUARD::S(I)
    • S(g);N_GUARD::S(I),XS(g)
  • Tries
    • Try
      • K(H);P-FLIGHT
      • Vars
        • Q(b);XQ(D)::S(I),XQ(b)
        • Q(b);P_PINB(F),XB(G)::S(L),XQ(b)
        • Q(b);N_GUARD,XS(L)::QAR1(D)
        • B(e);XP(M)::S(L),XB(e)
        • S(d);N_GUARD,XP(E)::QAB1(D),XQ(b)
        • S(d);N_GUARD,SBLOCK,XS(L)::P(C),XQ(b)
        • Q(b);N_GUARD::QAR1(D),XQ(b)
        • Q(b);OGATE::QAR1(D)
        • Q(b);OGATE::QAR1(D),XQ(b)
        • S(d);N_GUARD::QAB1(D),XQ(b)
        • S(g);N_GUARD::S(I)
        • S(g);N_GUARD::S(I),XS(g)
      • Refutation
        • K(c);P_SPINQ(b),S_FLIGHT,XS(L)
    • Try
      • K(H);S_FLIGHT
      • Vars
        • Q(b);XQ(D)::S(I),XQ(b)
        • Q(b);P_PINB(F),XB(G)::S(L),XQ(b)
        • Q(b);N_GUARD,XS(L)::QAR1(D)
        • B(e);XP(M)::S(L),XB(e)
        • S(d);N_GUARD,XP(E)::QAB1(D),XQ(b)
        • S(d);N_GUARD,SBLOCK,XS(L)::P(C),XQ(b)
        • Q(b);N_GUARD::QAR1(D),XQ(b)
        • Q(b);OGATE::QAR1(D)
        • Q(b);OGATE::QAR1(D),XQ(b)
        • S(d);N_GUARD::QAB1(D),XQ(b)
        • S(g);N_GUARD::S(I)
        • S(g);N_GUARD::S(I),XS(g)
      • Refutation
        • K(c);P_SPINQ(b),S_FLIGHT,XS(L)
    • Try
      • K(H);P-FLIGHT
      • Vars
        • Q(b);CHECK,OGATE,XS(I)::R(N),XQ(b)
        • Q(b);XQ(D)::S(I),XQ(b)
        • Q(b);XB(G)::S(L),XQ(b)
        • Q(b);N_GUARD,XS(L)::QAR1(D)
        • B(e);XP(M)::S(L),XB(e)
        • S(d);N_GUARD,XP(E)::QAB1(D),XQ(b)
        • S(d);N_GUARD,SBLOCK,XS(L)::P(C),XQ(b)
        • Q(b);N_GUARD::QAR1(D),XQ(b)
        • Q(b);OGATE::QAR1(D)
        • Q(b);OGATE,P_PINS(I)::QAR1(D),XQ(b)
        • S(d);N_GUARD::QAB1(D),XQ(b)
        • S(g);N_GUARD::S(I)
        • S(g);N_GUARD::S(I),XS(g)
      • Refutation
        • K(c);P_SPINQ(b),S_FLIGHT,XS(L)
    • Try
      • K(H);P-FLIGHT
      • Vars
        • Q(b);XQ(D)::S(I),XQ(b)
        • Q(b);XB(G)::S(L),XQ(b)
        • Q(b);N_GUARD,P_PINP(K),XS(L)::QAR1(D)
        • B(e);XP(M)::S(L),XB(e)
        • S(d);N_GUARD,XP(E)::QAB1(D),XQ(b)
        • S(d);N_GUARD,SBLOCK,XS(L)::P(C),XQ(b)
        • Q(b);N_GUARD::QAR1(D),XQ(b)
        • Q(b);OGATE::QAR1(D)
        • Q(b);OGATE::QAR1(D),XQ(b)
        • S(d);N_GUARD::QAB1(D),XQ(b)
        • S(g);N_GUARD::S(I)
        • S(g);N_GUARD::S(I),XS(g)
      • Refutation
        • K(c);P_SPINQ(b),S_FLIGHT,XS(L)
    • Try
      • B(F);
      • Vars
        • Q(b);CHECK,OGATE,XS(I)::R(N),XQ(b)
        • Q(b);XQ(D)::S(I),XQ(b)
        • Q(b);XB(G)::S(L),XQ(b)
        • Q(b);N_GUARD,XS(L)::QAR1(D)
        • B(e);XP(M)::S(L),XB(e)
        • S(d);N_GUARD,XP(E)::QAB1(D),XQ(b)
        • S(d);N_GUARD,SBLOCK,XS(L)::P(C),XQ(b)
        • Q(b);N_GUARD::QAR1(D),XQ(b)
        • Q(b);OGATE::QAR1(D)
        • Q(b);OGATE,P_PINS(I)::QAR1(D),XQ(b)
        • S(d);N_GUARD::QAB1(D),XQ(b)
        • S(g);N_GUARD::S(I)
        • S(g);N_GUARD::S(I),XS(g)
      • Refutation
        • K(c);P_SPINQ(b),S_FLIGHT,XS(L)
    • Try
      • B(F);
      • Vars
        • Q(b);CHECK,OGATE,XS(I)::R(N),XQ(b)
        • Q(b);XQ(D)::S(I),XQ(b)
        • Q(b);XB(G)::S(L),XQ(b)
        • Q(b);N_GUARD,XS(L)::QAR1(D)
        • B(e);XP(M)::S(L),XB(e)
        • S(d);N_GUARD,XP(E)::QAB1(D),XQ(b)
        • S(d);N_GUARD,SBLOCK,XS(L)::P(C),XQ(b)
        • Q(b);N_GUARD::QAR1(D),XQ(b)
        • Q(b);OGATE::QAR1(D)
        • Q(b);OGATE,P_PINS(I)::QAR1(D),XQ(b)
        • S(d);N_GUARD::QAB1(D),XQ(b)
        • S(g);N_GUARD::S(I)
        • S(g);N_GUARD::S(I),XS(g)
      • Refutation
        • K(c);P_SPINQ(b),S_FLIGHT,XS(L)
    • Try
      • B(G);
      • Vars
        • Q(b);CHECK,OGATE,XS(I)::R(N),XQ(b)
        • Q(b);XQ(D)::S(I),XQ(b)
        • Q(b);OGATE,XB(F)::QAR1(D)
        • Q(b);N_GUARD,XS(L)::QAR1(D)
        • B(e);XP(M)::S(L),XB(e)
        • S(d);N_GUARD,XP(E)::QAB1(D),XQ(b)
        • S(d);N_GUARD,SBLOCK,XS(L)::P(C),XQ(b)
        • Q(b);N_GUARD::S(L),XQ(b)
        • Q(b);N_GUARD::QAR1(D),XQ(b)
        • Q(b);OGATE::QAR1(D)
        • Q(b);OGATE,P_PINS(I)::QAR1(D),XQ(b)
        • S(d);N_GUARD::QAB1(D),XQ(b)
        • S(g);N_GUARD::S(I)
        • S(g);N_GUARD::S(I),XS(g)
      • Refutation
        • K(c);P_SPINQ(b),S_FLIGHT,XS(L)
    • Try
      • B(G);
      • Vars
        • Q(b);CHECK,OGATE,XS(I)::R(N),XQ(b)
        • Q(b);XQ(D)::S(I),XQ(b)
        • Q(b);OGATE,XB(F)::QAR1(D)
        • Q(b);N_GUARD,XS(L)::QAR1(D)
        • B(e);XP(M)::S(L),XB(e)
        • S(d);N_GUARD,XP(E)::QAB1(D),XQ(b)
        • S(d);N_GUARD,SBLOCK,XS(L)::P(C),XQ(b)
        • Q(b);N_GUARD::S(L),XQ(b)
        • Q(b);N_GUARD::QAR1(D),XQ(b)
        • Q(b);OGATE::QAR1(D)
        • Q(b);OGATE,P_PINS(I)::QAR1(D),XQ(b)
        • S(d);N_GUARD::QAB1(D),XQ(b)
        • S(g);N_GUARD::S(I)
        • S(g);N_GUARD::S(I),XS(g)
      • Refutation
        • K(c);P_SPINQ(b),S_FLIGHT,XS(L)
    • Try
      • B(G);
      • Vars
        • Q(b);CHECK,OGATE,XS(I)::R(N),XQ(b)
        • Q(b);XQ(D)::S(I),XQ(b)
        • Q(b);OGATE,XB(F)::QAR1(D)
        • Q(b);N_GUARD,XS(L)::QAR1(D)
        • B(e);XP(M)::S(L),XB(e)
        • S(d);N_GUARD,XP(E)::QAB1(D),XQ(b)
        • S(d);N_GUARD,SBLOCK,XS(L)::P(C),XQ(b)
        • Q(b);N_GUARD::S(L),XQ(b)
        • Q(b);N_GUARD::QAR1(D),XQ(b)
        • Q(b);OGATE::QAR1(D)
        • Q(b);OGATE,P_PINS(I)::QAR1(D),XQ(b)
        • S(d);N_GUARD::QAB1(D),XQ(b)
        • S(g);N_GUARD::S(I)
        • S(g);N_GUARD::S(I),XS(g)
      • Refutation
        • K(c);P_SPINQ(b),S_FLIGHT,XS(L)
    • Try
      • R(N);
      • Vars
        • Q(b);CHECK,OGATE,XS(I)::R(N),XQ(b)
        • Q(b);XQ(D)::S(I),XQ(b)
        • Q(b);XB(G)::S(L),XQ(b)
        • Q(b);N_GUARD,XS(L)::QAR1(D)
        • S(d);N_GUARD,XP(E)::QAB1(D),XQ(b)
        • S(d);N_GUARD,XS(L)::P(C),XQ(b)
        • Q(b);N_GUARD::QAR1(D),XQ(b)
        • Q(b);OGATE::QAR1(D)
        • Q(b);OGATE,P_PINS(I)::QAR1(D),XQ(b)
        • S(g);N_GUARD::S(I)
        • S(g);N_GUARD::S(I),XS(g)
      • Refutation
        • P(f);XR(N)
    • Try
      • R(N);
      • Vars
        • Q(b);XQ(D)::S(I),XQ(b)
        • Q(b);XB(G)::S(L),XQ(b)
        • Q(b);N_GUARD,XS(L)::QAR1(D)
        • S(d);N_GUARD,XP(E)::QAB1(D),XQ(b)
        • S(d);N_GUARD,XS(L)::P(C),XQ(b)
        • S(g);N_GUARD::S(I),XS(g)
        • Q(b);N_GUARD::QAR1(D),XQ(b)
        • Q(b);OGATE::QAR1(D)
        • Q(b);OGATE,P_PINS(I)::QAR1(D),XQ(b)
        • S(g);N_GUARD::S(I)
      • Refutation
        • Q(b);CHECK,XS(I)
    • Try
      • R(N);CHECK
      • Vars
        • S(d);P_SPINS(d)::QAB1(D),XQ(b)
      • Refutation
        • K(c);P_SPINQ(b),S_FLIGHT,XS(L)
    • Try
      • Q(D);CHECK,XS(d)
      • Refutation
        • B(e);XQ(D)
    • Try
      • P(C);CHECK,XQ(b)
      • Vars
        • S(d);OGATE,XP(C)::QAB1(D),XS(d)
      • Refutation
        • K(c);S_FLIGHT,XS(L)
  • Actual
    • R(N);
    • Vars
      • Q(b);CHECK,OGATE,XS(I)::R(N),XQ(b)
      • K(c);P_SPINQ(b),S_FLIGHT,XS(L)::B(F)+S(I)
      • Q(b);XQ(D)::S(I),XQ(b)
      • Q(b);XB(G)::S(L),XQ(b)
      • Q(b);N_GUARD,XS(L)::QAR1(D)
      • B(e);XP(M)::S(L),XB(e)
      • S(d);N_GUARD,XP(E)::QAB1(D),XQ(b)
      • S(d);N_GUARD,SBLOCK,XS(L)::P(C),XQ(b)
      • Q(b);N_GUARD::QAR1(D),XQ(b)
      • Q(b);OGATE::QAR1(D)
      • Q(b);OGATE,P_PINS(I)::QAR1(D),XQ(b)
      • S(d);N_GUARD::QAB1(D),XQ(b)
      • S(g);N_GUARD::S(I)
      • S(g);N_GUARD::S(I),XS(g)
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).