MESON Chess Problem Database

Problem Display
PID: 10754 (5r1N/4RP1k/5P2/8/4K3/8/B6p/2QR4 w - - 0 1)

Morse, Christopher Jeremy

2nd Comm., The Problemist, 1967

5r1N/4RP1k/5P2/8/4K3/8/B6p/2QR4

#2

8 + 3

236 The Field 1973
3310 2345 Chess Problems 1997

SOLUTION

  • SOUND
  • Sets
    • 1...Kxh8
      • 2.Qh6#
    • 1...Ra8
      • 2.f8Q#
      • 2.f8R#
    • 1...Rb8
      • 2.f8Q#
      • 2.f8R#
    • 1...Rc8
      • 2.f8Q#
      • 2.f8R#
    • 1...Rd8
      • 2.f8Q#
      • 2.f8R#
    • 1...Re8
      • 2.fxe8Q#
      • 2.fxe8R#
    • 1...Rg8
      • 2.fxg8Q#
      • 2.fxg8R#
    • 1...Rxh8
      • 2.f8S#
    • 1...h1Q+
      • 2.Rxh1#
    • 1...h1S
      • 2.Rxh1#
    • 1...h1B+
      • 2.Rxh1#
    • 1...h1R
      • 2.Rxh1#
  • Tries
    • 1.Kf3?
      • 1...h1Q+
        • 2.Rxh1#
      • 1...h1B+
        • 2.Rxh1#
      • 1...Kxh8
        • 2.Qh6#
      • 1...Rxh8
        • 2.Bb1#
        • 2.f8S#
      • 1...h1S
        • 2.Rxh1#
      • 1...h1R
        • 2.Rxh1#
      • 1...Ra8
        • 2.f8Q#
        • 2.f8R#
      • 1...Rb8
        • 2.f8Q#
        • 2.f8R#
      • 1...Rc8
        • 2.f8Q#
        • 2.f8R#
      • 1...Rd8
        • 2.f8Q#
        • 2.f8R#
      • 1...Re8
        • 2.fxe8Q#
        • 2.fxe8R#
      • 1...Rg8
        • 2.fxg8Q#
        • 2.fxg8R#
      • 1...Rxf7!
    • 1.Ke5?
      • 1...Kxh8
        • 2.Qh6#
      • 1...Rxh8
        • 2.Bb1#
        • 2.f8S#
      • 1...h1Q
        • 2.Rxh1#
      • 1...h1S
        • 2.Rxh1#
      • 1...h1B
        • 2.Rxh1#
      • 1...h1R
        • 2.Rxh1#
      • 1...Ra8
        • 2.f8Q#
        • 2.f8R#
      • 1...Rb8
        • 2.f8Q#
        • 2.f8R#
      • 1...Rc8
        • 2.f8Q#
        • 2.f8R#
      • 1...Rd8
        • 2.f8Q#
        • 2.f8R#
      • 1...Re8
        • 2.fxe8Q#
        • 2.fxe8R#
      • 1...Rg8
        • 2.fxg8Q#
        • 2.fxg8R#
      • 1...Rxf7!
    • 1.Kf5?
      • 1...Kxh8
        • 2.Qh6#
      • 1...Rxh8
        • 2.f8Q#
        • 2.f8S#
        • 2.f8B#
        • 2.f8R#
      • 1...h1Q
        • 2.Rxh1#
      • 1...h1S
        • 2.Rxh1#
      • 1...h1B
        • 2.Rxh1#
      • 1...h1R
        • 2.Rxh1#
      • 1...Ra8
        • 2.f8Q#
        • 2.f8R#
      • 1...Rb8
        • 2.f8Q#
        • 2.f8R#
      • 1...Rc8
        • 2.f8Q#
        • 2.f8R#
      • 1...Rd8
        • 2.f8Q#
        • 2.f8R#
      • 1...Re8
        • 2.fxe8Q#
        • 2.fxe8R#
      • 1...Rg8
        • 2.fxg8Q#
        • 2.fxg8R#
      • 1...Rxf7!
    • 1.Bb3?
      • 1...h1Q+
        • 2.Rxh1#
      • 1...h1B+
        • 2.Rxh1#
      • 1...Kxh8
        • 2.Qh6#
      • 1...Rxh8
        • 2.f8S#
      • 1...h1S
        • 2.Rxh1#
      • 1...h1R
        • 2.Rxh1#
      • 1...Ra8
        • 2.f8Q#
        • 2.f8R#
      • 1...Rb8
        • 2.f8Q#
        • 2.f8R#
      • 1...Rc8
        • 2.f8Q#
        • 2.f8R#
      • 1...Rd8
        • 2.f8Q#
        • 2.f8R#
      • 1...Re8
        • 2.fxe8Q#
        • 2.fxe8R#
      • 1...Rg8
        • 2.fxg8Q#
        • 2.fxg8R#
      • 1...Rxf7!
    • 1.Bc4?
      • 1...h1Q+
        • 2.Rxh1#
      • 1...h1B+
        • 2.Rxh1#
      • 1...Kxh8
        • 2.Qh6#
      • 1...Rxh8
        • 2.f8S#
      • 1...h1S
        • 2.Rxh1#
      • 1...h1R
        • 2.Rxh1#
      • 1...Ra8
        • 2.f8Q#
        • 2.f8R#
      • 1...Rb8
        • 2.f8Q#
        • 2.f8R#
      • 1...Rc8
        • 2.f8Q#
        • 2.f8R#
      • 1...Rd8
        • 2.f8Q#
        • 2.f8R#
      • 1...Re8
        • 2.fxe8Q#
        • 2.fxe8R#
      • 1...Rg8
        • 2.fxg8Q#
        • 2.fxg8R#
      • 1...Rxf7!
    • 1.Bd5?
      • 1...h1Q+
        • 2.Rxh1#
      • 1...h1B+
        • 2.Rxh1#
      • 1...Kxh8
        • 2.Qh6#
      • 1...Rxh8
        • 2.f8S#
      • 1...h1S
        • 2.Rxh1#
      • 1...h1R
        • 2.Rxh1#
      • 1...Ra8
        • 2.f8Q#
        • 2.f8R#
      • 1...Rb8
        • 2.f8Q#
        • 2.f8R#
      • 1...Rc8
        • 2.f8Q#
        • 2.f8R#
      • 1...Rd8
        • 2.f8Q#
        • 2.f8R#
      • 1...Re8
        • 2.fxe8Q#
        • 2.fxe8R#
      • 1...Rg8
        • 2.fxg8Q#
        • 2.fxg8R#
      • 1...Rxf7!
    • 1.Be6?
      • 1...h1Q+
        • 2.Rxh1#
      • 1...h1B+
        • 2.Rxh1#
      • 1...Kxh8
        • 2.Qh6#
      • 1...Rxh8
        • 2.Bf5#
        • 2.f8S#
      • 1...h1S
        • 2.Rxh1#
      • 1...h1R
        • 2.Rxh1#
      • 1...Ra8
        • 2.f8Q#
        • 2.f8R#
      • 1...Rb8
        • 2.f8Q#
        • 2.f8R#
      • 1...Rc8
        • 2.f8Q#
        • 2.f8R#
      • 1...Rd8
        • 2.f8Q#
        • 2.f8R#
      • 1...Re8
        • 2.fxe8Q#
        • 2.fxe8R#
      • 1...Rg8
        • 2.fxg8Q#
        • 2.fxg8R#
      • 1...Rxf7!
    • 1.Re1?
      • 1...h1Q+
        • 2.Rxh1#
      • 1...h1B+
        • 2.Rxh1#
      • 1...Kxh8
        • 2.Qh6#
      • 1...Rxh8
        • 2.f8S#
      • 1...h1S
        • 2.Rxh1#
      • 1...h1R
        • 2.Rxh1#
      • 1...Ra8
        • 2.f8Q#
        • 2.f8R#
      • 1...Rb8
        • 2.f8Q#
        • 2.f8R#
      • 1...Rc8
        • 2.f8Q#
        • 2.f8R#
      • 1...Rd8
        • 2.f8Q#
        • 2.f8R#
      • 1...Re8
        • 2.fxe8Q#
        • 2.fxe8R#
      • 1...Rg8
        • 2.fxg8Q#
        • 2.fxg8R#
      • 1...Rxf7!
    • 1.Rf1?
      • 1...h1Q+
        • 2.Rxh1#
      • 1...h1B+
        • 2.Rxh1#
      • 1...Kxh8
        • 2.Qh6#
      • 1...Rxh8
        • 2.f8S#
      • 1...h1S
        • 2.Rxh1#
      • 1...h1R
        • 2.Rxh1#
      • 1...Ra8
        • 2.f8Q#
        • 2.f8R#
      • 1...Rb8
        • 2.f8Q#
        • 2.f8R#
      • 1...Rc8
        • 2.f8Q#
        • 2.f8R#
      • 1...Rd8
        • 2.f8Q#
        • 2.f8R#
      • 1...Re8
        • 2.fxe8Q#
        • 2.fxe8R#
      • 1...Rg8
        • 2.fxg8Q#
        • 2.fxg8R#
      • 1...Rxf7!
    • 1.Rh1?
      • threat
        • 2.Rxh2#
      • 1...Kxh8
        • 2.Rxh2#
        • 2.Qh6#
      • 1...Rxh8
        • 2.f8S#
      • 1...Rxf7!
    • 1.Rd3?
      • threat
        • 2.Rh3#
      • 1...h1Q+
        • 2.Qxh1#
      • 1...h1B+
        • 2.Qxh1#
      • 1...Kxh8
        • 2.Rh3#
        • 2.Qh6#
      • 1...Rxh8
        • 2.f8S#
      • 1...h1R
        • 2.Qxh1#
      • 1...Rxf7!
    • 1.Rd4?
      • 1...h1Q+
        • 2.Qxh1#
      • 1...h1B+
        • 2.Qxh1#
      • 1...Kxh8
        • 2.Qh6#
      • 1...Rxh8
        • 2.f8S#
      • 1...h1S
        • 2.Qxh1#
      • 1...h1R
        • 2.Qxh1#
      • 1...Ra8
        • 2.f8Q#
        • 2.f8R#
      • 1...Rb8
        • 2.f8Q#
        • 2.f8R#
      • 1...Rc8
        • 2.f8Q#
        • 2.f8R#
      • 1...Rd8
        • 2.f8Q#
        • 2.f8R#
      • 1...Re8
        • 2.fxe8Q#
        • 2.fxe8R#
      • 1...Rg8
        • 2.fxg8Q#
        • 2.fxg8R#
      • 1...Rxf7!
    • 1.Rd6?
      • 1...h1Q+
        • 2.Qxh1#
      • 1...h1B+
        • 2.Qxh1#
      • 1...Kxh8
        • 2.Qh6#
      • 1...Rxh8
        • 2.f8S#
      • 1...h1S
        • 2.Qxh1#
      • 1...h1R
        • 2.Qxh1#
      • 1...Ra8
        • 2.f8Q#
        • 2.f8R#
      • 1...Rb8
        • 2.f8Q#
        • 2.f8R#
      • 1...Rc8
        • 2.f8Q#
        • 2.f8R#
      • 1...Rd8
        • 2.f8Q#
        • 2.f8R#
      • 1...Re8
        • 2.fxe8Q#
        • 2.fxe8R#
      • 1...Rg8
        • 2.fxg8Q#
        • 2.fxg8R#
      • 1...Rxf7!
    • 1.Rdd7?
      • 1...h1Q+
        • 2.Qxh1#
      • 1...h1B+
        • 2.Qxh1#
      • 1...Kxh8
        • 2.Qh6#
      • 1...Rxh8
        • 2.f8S#
      • 1...h1S
        • 2.Qxh1#
      • 1...h1R
        • 2.Qxh1#
      • 1...Ra8
        • 2.f8Q#
        • 2.f8R#
      • 1...Rb8
        • 2.f8Q#
        • 2.f8R#
      • 1...Rc8
        • 2.f8Q#
        • 2.f8R#
      • 1...Rd8
        • 2.f8Q#
        • 2.f8R#
      • 1...Re8
        • 2.fxe8Q#
        • 2.fxe8R#
      • 1...Rg8
        • 2.fxg8Q#
        • 2.fxg8R#
      • 1...Rxf7!
    • 1.Qd2?
      • threat
        • 2.Qxh2#
      • 1...h1Q+
        • 2.Rxh1#
      • 1...h1B+
        • 2.Rxh1#
      • 1...Kxh8
        • 2.Qh6#
        • 2.Qxh2#
      • 1...Rxh8
        • 2.f8S#
      • 1...h1S
        • 2.Rxh1#
        • 2.Qh2#
      • 1...h1R
        • 2.Rxh1#
      • 1...Rxf7!
    • 1.Qe3?
      • threat
        • 2.Qh3#
      • 1...h1Q+
        • 2.Rxh1#
      • 1...h1B+
        • 2.Rxh1#
      • 1...Kxh8
        • 2.Qh6#
        • 2.Qh3#
      • 1...Rxh8
        • 2.f8S#
      • 1...h1R
        • 2.Rxh1#
      • 1...Rxf7!
    • 1.Qf4?
      • threat
        • 2.Qxh2#
        • 2.Qh4#
      • 1...h1Q+
        • 2.Rxh1#
      • 1...h1B+
        • 2.Rxh1#
      • 1...Kxh8
        • 2.Qxh2#
        • 2.Qh6#
        • 2.Qh4#
      • 1...Rxh8
        • 2.f8S#
      • 1...h1S
        • 2.Rxh1#
        • 2.Qh2#
        • 2.Qh4#
      • 1...h1R
        • 2.Rxh1#
      • 1...Rxf7!
    • 1.Qg5?
      • threat
        • 2.Qh4#
        • 2.Qh5#
        • 2.Qg7#
      • 1...h1Q+
        • 2.Rxh1#
      • 1...h1B+
        • 2.Rxh1#
      • 1...Kxh8
        • 2.Qh4#
        • 2.Qh6#
        • 2.Qh5#
        • 2.Qg7#
      • 1...Rxh8
        • 2.Qh5#
        • 2.Qg7#
        • 2.f8Q#
        • 2.f8S#
        • 2.f8B#
        • 2.f8R#
      • 1...h1R
        • 2.Rxh1#
        • 2.Qg7#
      • 1...Rg8
        • 2.Qh4#
        • 2.Qh5#
        • 2.fxg8Q#
        • 2.fxg8R#
      • 1...Rxf7!
  • Keys
    • 1.Rd8!
      • 1...h1Q+
        • 2.Qxh1#
      • 1...h1B+
        • 2.Qxh1#
      • 1...Kxh8
        • 2.Qh6#
      • 1...Rxf7
        • 2.Rxf7#
      • 1...Rxd8
        • 2.f8Q#
        • 2.f8R#
      • 1...Rxh8
        • 2.f8S#
      • 1...h1S
        • 2.Qxh1#
      • 1...h1R
        • 2.Qxh1#
      • 1...Re8
        • 2.fxe8Q#
        • 2.fxe8R#
      • 1...Rg8
        • 2.fxg8Q#
        • 2.fxg8R#

FEATURES

  • Static
    • TYPE = INCOMPLETE_BLOCK
    • CHANGED MATES = 4
    • ADDED MATES = 1
    • REMOVED MATES = 0
  • Sets
    • K(b);P-FLIGHT,XS(H)::QAR2(A)
    • R(c);OGATE::P=Q
    • R(c);OGATE,P_PINR(F)::PXR(c)=Q
    • R(c);OGATE::PXR(c)=Q
    • R(c);OGATE,SBLOCK,XS(H)::P=S
    • P(a);CHECK,OGATEB::R(B),XQ(a)
    • P(a);OGATEB::R(B),XS(a)
    • P(a);CHECK,OGATEB::R(B),XB(a)
    • P(a);OGATEB::R(B),XR(a)
  • Tries
    • Try
      • K(D);S_FLIGHT
      • Vars
        • P(a);CHECK,OGATEB::R(B),XQ(a)
        • P(a);CHECK,OGATEB::R(B),XB(a)
        • K(b);P-FLIGHT,XS(H)::QAR2(A)
        • P(a);OGATEB::R(B),XS(a)
        • P(a);OGATEB::R(B),XR(a)
        • R(c);OGATE::P=Q
        • R(c);OGATE::PXR(c)=Q
      • Refutation
        • R(c);P_PINP(E),P_SPINR(c),XP(G)
    • Try
      • K(D);P-FLIGHT
      • Vars
        • K(b);P-FLIGHT,XS(H)::QAR2(A)
        • P(a);OGATEB::R(B),XQ(a)
        • P(a);OGATEB::R(B),XS(a)
        • P(a);OGATEB::R(B),XB(a)
        • P(a);OGATEB::R(B),XR(a)
        • R(c);OGATE::P=Q
        • R(c);OGATE,P_PINR(F)::PXR(c)=Q
        • R(c);OGATE::PXR(c)=Q
      • Refutation
        • R(c);P_SPINR(c),XP(G)
    • Try
      • K(D);S_FLIGHT
      • Vars
        • K(b);P-FLIGHT,XS(H)::QAR2(A)
        • P(a);OGATEB::R(B),XQ(a)
        • P(a);OGATEB::R(B),XS(a)
        • P(a);OGATEB::R(B),XB(a)
        • P(a);OGATEB::R(B),XR(a)
        • R(c);OGATE::P=Q
        • R(c);OGATE::PXR(c)=Q
      • Refutation
        • R(c);P_PINP(E),P_SPINR(c),XP(G)
    • Try
      • B(C);
      • Vars
        • P(a);CHECK,OGATEB::R(B),XQ(a)
        • P(a);CHECK,OGATEB::R(B),XB(a)
        • K(b);P-FLIGHT,XS(H)::QAR2(A)
        • R(c);OGATE,SBLOCK,XS(H)::P=S
        • P(a);OGATEB::R(B),XS(a)
        • P(a);OGATEB::R(B),XR(a)
        • R(c);OGATE::P=Q
        • R(c);OGATE,P_PINR(F)::PXR(c)=Q
        • R(c);OGATE::PXR(c)=Q
      • Refutation
        • R(c);P_SPINR(c),XP(G)
    • Try
      • B(C);
      • Vars
        • P(a);CHECK,OGATEB::R(B),XQ(a)
        • P(a);CHECK,OGATEB::R(B),XB(a)
        • K(b);P-FLIGHT,XS(H)::QAR2(A)
        • R(c);OGATE,SBLOCK,XS(H)::P=S
        • P(a);OGATEB::R(B),XS(a)
        • P(a);OGATEB::R(B),XR(a)
        • R(c);OGATE::P=Q
        • R(c);OGATE,P_PINR(F)::PXR(c)=Q
        • R(c);OGATE::PXR(c)=Q
      • Refutation
        • R(c);P_SPINR(c),XP(G)
    • Try
      • B(C);
      • Vars
        • P(a);CHECK,OGATEB::R(B),XQ(a)
        • P(a);CHECK,OGATEB::R(B),XB(a)
        • K(b);P-FLIGHT,XS(H)::QAR2(A)
        • R(c);OGATE,SBLOCK,XS(H)::P=S
        • P(a);OGATEB::R(B),XS(a)
        • P(a);OGATEB::R(B),XR(a)
        • R(c);OGATE::P=Q
        • R(c);OGATE,P_PINR(F)::PXR(c)=Q
        • R(c);OGATE::PXR(c)=Q
      • Refutation
        • R(c);P_SPINR(c),XP(G)
    • Try
      • B(C);
      • Vars
        • P(a);CHECK,OGATEB::R(B),XQ(a)
        • P(a);CHECK,OGATEB::R(B),XB(a)
        • K(b);P-FLIGHT,XS(H)::QAR2(A)
        • P(a);OGATEB::R(B),XS(a)
        • P(a);OGATEB::R(B),XR(a)
        • R(c);OGATE::P=Q
        • R(c);OGATE::PXR(c)=Q
      • Refutation
        • R(c);P_SPINR(c),XP(G)
    • Try
      • R(B);
      • Vars
        • P(a);CHECK,OGATEB::R(B),XQ(a)
        • P(a);CHECK,OGATEB::R(B),XB(a)
        • K(b);P-FLIGHT,XS(H)::QAR2(A)
        • R(c);OGATE,SBLOCK,XS(H)::P=S
        • P(a);OGATEB::R(B),XS(a)
        • P(a);OGATEB::R(B),XR(a)
        • R(c);OGATE::P=Q
        • R(c);OGATE,P_PINR(F)::PXR(c)=Q
        • R(c);OGATE::PXR(c)=Q
      • Refutation
        • R(c);P_SPINR(c),XP(G)
    • Try
      • R(B);
      • Vars
        • P(a);CHECK,OGATEB::R(B),XQ(a)
        • P(a);CHECK,OGATEB::R(B),XB(a)
        • K(b);P-FLIGHT,XS(H)::QAR2(A)
        • R(c);OGATE,SBLOCK,XS(H)::P=S
        • P(a);OGATEB::R(B),XS(a)
        • P(a);OGATEB::R(B),XR(a)
        • R(c);OGATE::P=Q
        • R(c);OGATE,P_PINR(F)::PXR(c)=Q
        • R(c);OGATE::PXR(c)=Q
      • Refutation
        • R(c);P_SPINR(c),XP(G)
    • Try
      • R(B);P_PINP(a)
      • Threat
        • R(B),XP(a)
      • Vars
        • R(c);OGATE,SBLOCK,XS(H)::P=S
      • Refutation
        • R(c);P_SPINR(c),XP(G)
    • Try
      • R(B);
      • Threat
        • R(B)
      • Vars
        • P(a);CHECK,OGATEB::QAR(A),XQ(a)
        • P(a);CHECK,OGATEB::QAR(A),XB(a)
        • R(c);OGATE,SBLOCK,XS(H)::P=S
        • P(a);OGATEB::QAR(A),XR(a)
      • Refutation
        • R(c);P_SPINR(c),XP(G)
    • Try
      • R(B);
      • Vars
        • P(a);CHECK,OGATEB::QAR(A),XQ(a)
        • P(a);CHECK,OGATEB::QAR(A),XB(a)
        • K(b);P-FLIGHT,XS(H)::QAR2(A)
        • R(c);OGATE,SBLOCK,XS(H)::P=S
        • P(a);OGATEB::QAR(A),XS(a)
        • P(a);OGATEB::QAR(A),XR(a)
        • R(c);OGATE::P=Q
        • R(c);OGATE,P_PINR(F)::PXR(c)=Q
        • R(c);OGATE::PXR(c)=Q
      • Refutation
        • R(c);P_SPINR(c),XP(G)
    • Try
      • R(B);
      • Vars
        • P(a);CHECK,OGATEB::QAR(A),XQ(a)
        • P(a);CHECK,OGATEB::QAR(A),XB(a)
        • K(b);P-FLIGHT,XS(H)::QAR2(A)
        • R(c);OGATE,SBLOCK,XS(H)::P=S
        • P(a);OGATEB::QAR(A),XS(a)
        • P(a);OGATEB::QAR(A),XR(a)
        • R(c);OGATE::P=Q
        • R(c);OGATE,P_PINR(F)::PXR(c)=Q
        • R(c);OGATE::PXR(c)=Q
      • Refutation
        • R(c);P_SPINR(c),XP(G)
    • Try
      • R(B);
      • Vars
        • P(a);CHECK,OGATEB::QAR(A),XQ(a)
        • P(a);CHECK,OGATEB::QAR(A),XB(a)
        • K(b);P-FLIGHT,XS(H)::QAR2(A)
        • R(c);OGATE,SBLOCK,XS(H)::P=S
        • P(a);OGATEB::QAR(A),XS(a)
        • P(a);OGATEB::QAR(A),XR(a)
        • R(c);OGATE::P=Q
        • R(c);OGATE,P_PINR(F)::PXR(c)=Q
        • R(c);OGATE::PXR(c)=Q
      • Refutation
        • R(c);P_SPINR(c),XP(G)
    • Try
      • Q(A);
      • Threat
        • QAR(A),XP(a)
      • Vars
        • P(a);CHECK,OGATEB::R(B),XQ(a)
        • P(a);CHECK,OGATEB::R(B),XB(a)
        • R(c);OGATE,SBLOCK,XS(H)::P=S
        • P(a);OGATEB::R(B),XR(a)
      • Refutation
        • R(c);P_SPINR(c),XP(G)
    • Try
      • Q(A);
      • Threat
        • QAR(A)
      • Vars
        • P(a);CHECK,OGATEB::R(B),XQ(a)
        • P(a);CHECK,OGATEB::R(B),XB(a)
        • R(c);OGATE,SBLOCK,XS(H)::P=S
        • P(a);OGATEB::R(B),XR(a)
      • Refutation
        • R(c);P_SPINR(c),XP(G)
    • Try
      • Q(A);
      • Threat
        • DUALS(2)
      • Vars
        • P(a);CHECK,OGATEB::R(B),XQ(a)
        • P(a);CHECK,OGATEB::R(B),XB(a)
        • R(c);OGATE,SBLOCK,XS(H)::P=S
        • P(a);OGATEB::R(B),XR(a)
      • Refutation
        • R(c);P_SPINR(c),XP(G)
    • Try
      • Q(A);
      • Threat
        • DUALS(3)
      • Vars
        • P(a);CHECK,OGATEB::R(B),XQ(a)
        • P(a);CHECK,OGATEB::R(B),XB(a)
      • Refutation
        • R(c);P_SPINR(c),XP(G)
  • Actual
    • R(B);
    • Vars
      • P(a);CHECK,OGATEB::QAR(A),XQ(a)
      • P(a);CHECK,OGATEB::QAR(A),XB(a)
      • K(b);P-FLIGHT,P_SPINR(c),XS(H)::QAR2(A)
      • R(c);OGATE,P_SPINR(c),XP(G)::R(F),XR(c)
      • R(c);OGATE,XR(B)::P=Q
      • R(c);OGATE,SBLOCK,XS(H)::P=S
      • P(a);OGATEB::QAR(A),XS(a)
      • P(a);OGATEB::QAR(A),XR(a)
      • R(c);OGATE,P_PINR(F)::PXR(c)=Q
      • R(c);OGATE::PXR(c)=Q
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).