Problem Display
PID: 108945 (3R4/8/1Bp1B1pK/Rn6/N1PPkpP1/3np3/4P3/Q4N2 w - - 0 1)

Mihalco, Oto

Hlas l'udu, 1984

3R4/8/1Bp1B1pK/Rn6/N1PPkpP1/3np3/4P3/Q4N2

#2

12 + 7


6490 yacpdb 2009

SOLUTION


  • SOUND
  • Sets
    • 1...Sc1
      • 2.Sc5#
    • 1...Se1
      • 2.Sc5#
    • 1...Sb2
      • 2.Sc5#
    • 1...Sf2
      • 2.Sc5#
    • 1...Sb4
      • 2.Sc5#
    • 1...Sc5
      • 2.Sxc5#
    • 1...Se5
      • 2.Sc5#
    • 1...Sa3
      • 2.Sc3#
    • 1...Sc3
      • 2.Sxc3#
    • 1...Sxd4
      • 2.Sc3#
      • 2.Rxd4#
      • 2.Qxd4#
    • 1...Sd6
      • 2.Sc3#
    • 1...Sa7
      • 2.Sc3#
    • 1...Sc7
      • 2.Sc3#
    • 1...c5
      • 2.Bd5#
    • 1...g5
      • 2.Bf5#
  • Tries
    • 1.Kg7?
      • 1...Sxd4
        • 2.Sc3#
        • 2.Rxd4#
        • 2.Qxd4#
      • 1...Sc1
        • 2.Sc5#
      • 1...Se1
        • 2.Sc5#
      • 1...Sb2
        • 2.Sc5#
      • 1...Sf2
        • 2.Sc5#
      • 1...Sb4
        • 2.Sc5#
      • 1...Sc5
        • 2.Sxc5#
      • 1...Se5
        • 2.Sc5#
      • 1...Sa3
        • 2.Sc3#
      • 1...Sc3
        • 2.Sxc3#
      • 1...Sd6
        • 2.Sc3#
      • 1...Sa7
        • 2.Sc3#
      • 1...Sc7
        • 2.Sc3#
      • 1...c5
        • 2.Bd5#
      • 1...g5
        • 2.Bf5#
      • 1...f3!
    • 1.Kh7?
      • 1...Sxd4
        • 2.Sc3#
        • 2.Rxd4#
        • 2.Qxd4#
      • 1...Sc1
        • 2.Sc5#
      • 1...Se1
        • 2.Sc5#
      • 1...Sb2
        • 2.Sc5#
      • 1...Sf2
        • 2.Sc5#
      • 1...Sb4
        • 2.Sc5#
      • 1...Sc5
        • 2.Sxc5#
      • 1...Se5
        • 2.Sc5#
      • 1...Sa3
        • 2.Sc3#
      • 1...Sc3
        • 2.Sxc3#
      • 1...Sd6
        • 2.Sc3#
      • 1...Sa7
        • 2.Sc3#
      • 1...Sc7
        • 2.Sc3#
      • 1...c5
        • 2.Bd5#
      • 1...g5
        • 2.Bf5#
      • 1...f3!
    • 1.Sh2?
      • 1...Sxd4
        • 2.Sc3#
        • 2.Rxd4#
        • 2.Qxd4#
      • 1...Sc1
        • 2.Sc5#
      • 1...Se1
        • 2.Sc5#
      • 1...Sb2
        • 2.Sc5#
      • 1...Sf2
        • 2.Sc5#
      • 1...Sb4
        • 2.Sc5#
      • 1...Sc5
        • 2.Sxc5#
      • 1...Se5
        • 2.Sc5#
      • 1...Sa3
        • 2.Sc3#
      • 1...Sc3
        • 2.Sxc3#
      • 1...Sd6
        • 2.Sc3#
      • 1...Sa7
        • 2.Sc3#
      • 1...Sc7
        • 2.Sc3#
      • 1...c5
        • 2.Bd5#
      • 1...g5
        • 2.Bf5#
      • 1...f3!
    • 1.Ba7?
      • 1...Sxd4
        • 2.Sc3#
        • 2.Rxd4#
        • 2.Qxd4#
      • 1...Sxa7
        • 2.Sc3#
      • 1...Sc1
        • 2.Sc5#
      • 1...Se1
        • 2.Sc5#
      • 1...Sb2
        • 2.Sc5#
      • 1...Sf2
        • 2.Sc5#
      • 1...Sb4
        • 2.Sc5#
      • 1...Sc5
        • 2.Sxc5#
      • 1...Se5
        • 2.Sc5#
      • 1...Sa3
        • 2.Sc3#
      • 1...Sc3
        • 2.Sxc3#
      • 1...Sd6
        • 2.Sc3#
      • 1...Sc7
        • 2.Sc3#
      • 1...c5
        • 2.Bd5#
      • 1...g5
        • 2.Bf5#
      • 1...f3!
    • 1.Bc7?
      • 1...Sxd4
        • 2.Sc3#
        • 2.Rxd4#
        • 2.Qxd4#
      • 1...Sxc7
        • 2.Sc3#
      • 1...Sc1
        • 2.Sc5#
      • 1...Se1
        • 2.Sc5#
      • 1...Sb2
        • 2.Sc5#
      • 1...Sf2
        • 2.Sc5#
      • 1...Sb4
        • 2.Sc5#
      • 1...Sc5
        • 2.Sxc5#
      • 1...Se5
        • 2.Sc5#
      • 1...Sa3
        • 2.Sc3#
      • 1...Sc3
        • 2.Sxc3#
      • 1...Sa7
        • 2.Sc3#
      • 1...f3
        • 2.Sg3#
      • 1...c5
        • 2.Bd5#
      • 1...g5
        • 2.Bf5#
      • 1...Sd6!
    • 1.Bd7?
      • threat
        • 2.Bxc6#
      • 1...Sxd4
        • 2.Sc3#
        • 2.Qxd4#
      • 1...Sb4
        • 2.Sc5#
        • 2.Re8#
      • 1...Se5
        • 2.Sc5#
      • 1...Sc3
        • 2.Sxc3#
      • 1...Sa7
        • 2.Sc3#
      • 1...Sc7
        • 2.Sc3#
      • 1...c5
        • 2.Bc6#
      • 1...f3!
    • 1.Bf7?
      • threat
        • 2.Bxg6#
      • 1...Sxd4
        • 2.Sc3#
        • 2.Rxd4#
        • 2.Qxd4#
      • 1...Se5
        • 2.Sc5#
      • 1...Sd6
        • 2.Sc3#
      • 1...g5
        • 2.Bg6#
      • 1...f3!
    • 1.Bc8?
      • 1...Sxd4
        • 2.Sc3#
        • 2.Rxd4#
        • 2.Qxd4#
      • 1...Sc1
        • 2.Sc5#
        • 2.Re8#
      • 1...Se1
        • 2.Sc5#
        • 2.Re8#
      • 1...Sb2
        • 2.Sc5#
        • 2.Re8#
      • 1...Sf2
        • 2.Sc5#
        • 2.Re8#
      • 1...Sb4
        • 2.Sc5#
        • 2.Re8#
      • 1...Sc5
        • 2.Sxc5#
      • 1...Se5
        • 2.Sc5#
      • 1...Sa3
        • 2.Sc3#
      • 1...Sc3
        • 2.Sxc3#
      • 1...Sd6
        • 2.Sc3#
      • 1...Sa7
        • 2.Sc3#
      • 1...Sc7
        • 2.Sc3#
      • 1...c5
        • 2.Bb7#
      • 1...g5
        • 2.Bf5#
      • 1...f3!
    • 1.Bg8?
      • 1...Sxd4
        • 2.Sc3#
        • 2.Rxd4#
        • 2.Qxd4#
      • 1...Sc1
        • 2.Sc5#
        • 2.Re8#
      • 1...Se1
        • 2.Sc5#
        • 2.Re8#
      • 1...Sb2
        • 2.Sc5#
        • 2.Re8#
      • 1...Sf2
        • 2.Sc5#
        • 2.Re8#
      • 1...Sb4
        • 2.Sc5#
        • 2.Re8#
      • 1...Sc5
        • 2.Sxc5#
      • 1...Se5
        • 2.Sc5#
      • 1...Sa3
        • 2.Sc3#
      • 1...Sc3
        • 2.Sxc3#
      • 1...Sd6
        • 2.Sc3#
      • 1...Sa7
        • 2.Sc3#
      • 1...Sc7
        • 2.Sc3#
      • 1...c5
        • 2.Bd5#
      • 1...g5
        • 2.Bh7#
      • 1...f3!
    • 1.Ra6?
      • 1...Sxd4
        • 2.Qxd4#
      • 1...Sc1
        • 2.Sc5#
      • 1...Se1
        • 2.Sc5#
      • 1...Sb2
        • 2.Sc5#
      • 1...Sf2
        • 2.Sc5#
      • 1...Sb4
        • 2.Sc5#
      • 1...Sc5
        • 2.Sxc5#
      • 1...Se5
        • 2.Sc5#
      • 1...Sa3
        • 2.Sc3#
      • 1...Sc3
        • 2.Sxc3#
      • 1...Sd6
        • 2.Sc3#
      • 1...Sa7
        • 2.Sc3#
      • 1...Sc7
        • 2.Sc3#
      • 1...c5
        • 2.Bd5#
      • 1...g5
        • 2.Bf5#
      • 1...f3!
    • 1.Ra7?
      • 1...Sxd4
        • 2.Qxd4#
      • 1...Sxa7
        • 2.Sc3#
      • 1...Sc1
        • 2.Sc5#
      • 1...Se1
        • 2.Sc5#
      • 1...Sb2
        • 2.Sc5#
      • 1...Sf2
        • 2.Sc5#
      • 1...Sb4
        • 2.Sc5#
      • 1...Sc5
        • 2.Sxc5#
      • 1...Se5
        • 2.Sc5#
      • 1...Sa3
        • 2.Sc3#
      • 1...Sc3
        • 2.Sxc3#
      • 1...Sd6
        • 2.Sc3#
      • 1...Sc7
        • 2.Sc3#
      • 1...c5
        • 2.Bd5#
      • 1...g5
        • 2.Bf5#
      • 1...f3!
    • 1.Raa8?
      • 1...Sxd4
        • 2.Qxd4#
      • 1...Sc1
        • 2.Sc5#
      • 1...Se1
        • 2.Sc5#
      • 1...Sb2
        • 2.Sc5#
      • 1...Sf2
        • 2.Sc5#
      • 1...Sb4
        • 2.Sc5#
      • 1...Sc5
        • 2.Sxc5#
      • 1...Se5
        • 2.Sc5#
      • 1...Sa3
        • 2.Sc3#
      • 1...Sc3
        • 2.Sxc3#
      • 1...Sd6
        • 2.Sc3#
      • 1...Sa7
        • 2.Sc3#
      • 1...Sc7
        • 2.Sc3#
      • 1...c5
        • 2.Bd5#
      • 1...g5
        • 2.Bf5#
      • 1...f3!
    • 1.Rd6?
      • 1...Sxd4
        • 2.Sc3#
        • 2.Rxd4#
        • 2.Qxd4#
      • 1...Sxd6
        • 2.Sc3#
      • 1...Sc1
        • 2.Sc5#
      • 1...Se1
        • 2.Sc5#
      • 1...Sb2
        • 2.Sc5#
      • 1...Sf2
        • 2.Sc5#
      • 1...Sb4
        • 2.Sc5#
      • 1...Sc5
        • 2.Sxc5#
      • 1...Se5
        • 2.Sc5#
      • 1...Sa3
        • 2.Sc3#
      • 1...Sc3
        • 2.Sxc3#
      • 1...Sa7
        • 2.Sc3#
      • 1...Sc7
        • 2.Sc3#
      • 1...c5
        • 2.Bd5#
      • 1...g5
        • 2.Bf5#
      • 1...f3!
    • 1.Rd7?
      • 1...Sxd4
        • 2.Sc3#
        • 2.Rxd4#
        • 2.Qxd4#
      • 1...Sc1
        • 2.Sc5#
      • 1...Se1
        • 2.Sc5#
      • 1...Sb2
        • 2.Sc5#
      • 1...Sf2
        • 2.Sc5#
      • 1...Sb4
        • 2.Sc5#
      • 1...Sc5
        • 2.Sxc5#
      • 1...Se5
        • 2.Sc5#
      • 1...Sa3
        • 2.Sc3#
      • 1...Sc3
        • 2.Sxc3#
      • 1...Sd6
        • 2.Sc3#
      • 1...Sa7
        • 2.Sc3#
      • 1...Sc7
        • 2.Sc3#
      • 1...c5
        • 2.Bd5#
      • 1...g5
        • 2.Bf5#
      • 1...f3!
    • 1.Re8?
      • threat
        • 2.Bd5#
        • 2.Bf5#
      • 1...Se5
        • 2.Sc5#
      • 1...f3!
    • 1.Rf8?
      • 1...Sxd4
        • 2.Sc3#
        • 2.Qxd4#
      • 1...Sc1
        • 2.Sc5#
      • 1...Se1
        • 2.Sc5#
      • 1...Sf2
        • 2.Sc5#
      • 1...Sb4
        • 2.Sc5#
      • 1...Sc5
        • 2.Sxc5#
      • 1...Se5
        • 2.Sc5#
      • 1...Sa3
        • 2.Sc3#
      • 1...Sc3
        • 2.Sxc3#
      • 1...Sd6
        • 2.Sc3#
      • 1...Sa7
        • 2.Sc3#
      • 1...Sc7
        • 2.Sc3#
      • 1...f3
        • 2.Sg3#
        • 2.exf3#
      • 1...c5
        • 2.Bd5#
      • 1...g5
        • 2.Bf5#
      • 1...Sb2!
    • 1.Qb2?
      • 1...Sxb2
        • 2.Sc5#
      • 1...Sxd4
        • 2.Sc3#
        • 2.Rxd4#
        • 2.Qxd4#
      • 1...Sc1
        • 2.Sc5#
      • 1...Se1
        • 2.Sc5#
      • 1...Sf2
        • 2.Sc5#
      • 1...Sb4
        • 2.Sc5#
      • 1...Sc5
        • 2.Sxc5#
      • 1...Se5
        • 2.Sc5#
      • 1...Sa3
        • 2.Sc3#
      • 1...Sc3
        • 2.Sxc3#
      • 1...Sd6
        • 2.Sc3#
      • 1...Sa7
        • 2.Sc3#
      • 1...Sc7
        • 2.Sc3#
      • 1...c5
        • 2.Bd5#
      • 1...g5
        • 2.Bf5#
      • 1...f3!
    • 1.Qc3?
      • threat
        • 2.Qxd3#
      • 1...Sxc3
        • 2.Sxc3#
      • 1...Sb2
        • 2.Sc5#
      • 1...Sc1
        • 2.Sc5#
      • 1...Se1
        • 2.Sc5#
      • 1...Sf2
        • 2.Sc5#
      • 1...Sb4
        • 2.Sc5#
      • 1...Sc5
        • 2.Sxc5#
      • 1...Se5
        • 2.Sc5#
      • 1...f3!
    • 1.Qb1?
      • threat
        • 2.Sc5#
        • 2.Qxd3#
      • 1...Sxd4
        • 2.Sc3#
        • 2.Rxd4#
        • 2.Qxd3#
      • 1...Sd6
        • 2.Sc3#
        • 2.Re5#
        • 2.Qxd3#
      • 1...c5
        • 2.Sxc5#
        • 2.Qxd3#
      • 1...f3!
    • 1.Qc1?
      • 1...Sxc1
        • 2.Sc5#
      • 1...Sxd4
        • 2.Sc3#
        • 2.Rxd4#
      • 1...f3
        • 2.Qxe3#
      • 1...Sb2
        • 2.Sc5#
      • 1...Se1
        • 2.Sc5#
      • 1...Sf2
        • 2.Sc5#
      • 1...Sb4
        • 2.Sc5#
      • 1...Sc5
        • 2.Sxc5#
      • 1...Se5
        • 2.Sc5#
      • 1...Sa3
        • 2.Sc3#
      • 1...Sc3
        • 2.Sxc3#
      • 1...Sd6
        • 2.Sc3#
      • 1...Sa7
        • 2.Sc3#
      • 1...Sc7
        • 2.Sc3#
      • 1...g5
        • 2.Bf5#
      • 1...c5!
    • 1.Qd1?
      • threat
        • 2.Qxd3#
        • 2.exd3#
      • 1...Sb2
        • 2.Sc5#
      • 1...Sc1
        • 2.Sc5#
      • 1...Se1
        • 2.Sc5#
      • 1...Sf2
        • 2.Sc5#
      • 1...Sb4
        • 2.Sc5#
      • 1...Sc5
        • 2.Sxc5#
      • 1...Se5
        • 2.Sc5#
      • 1...f3!
    • 1.Qa3?
      • threat
        • 2.Qxd3#
      • 1...Sxa3
        • 2.Sc3#
      • 1...Sb2
        • 2.Sc5#
      • 1...Sc1
        • 2.Sc5#
      • 1...Se1
        • 2.Sc5#
      • 1...Sf2
        • 2.Sc5#
      • 1...Sb4
        • 2.Sc5#
      • 1...Sc5
        • 2.Sxc5#
      • 1...Se5
        • 2.Sc5#
      • 1...Sc3
        • 2.Sxc3#
      • 1...f3!
  • Keys
    • 1.Kg5!
      • 1...Sxd4
        • 2.Sc3#
        • 2.Rxd4#
        • 2.Qxd4#
      • 1...Sc1
        • 2.Sc5#
      • 1...Se1
        • 2.Sc5#
      • 1...Sb2
        • 2.Sc5#
      • 1...Sf2
        • 2.Sc5#
      • 1...Sb4
        • 2.Sc5#
      • 1...Sc5
        • 2.Sxc5#
      • 1...Se5
        • 2.Sc5#
      • 1...Sa3
        • 2.Sc3#
      • 1...Sc3
        • 2.Sxc3#
      • 1...Sd6
        • 2.Sc3#
      • 1...Sa7
        • 2.Sc3#
      • 1...Sc7
        • 2.Sc3#
      • 1...f3
        • 2.Sg3#
      • 1...c5
        • 2.Bd5#

FEATURES


  • Static
    • TYPE = INCOMPLETE_BLOCK
    • CHANGED MATES = 0
    • ADDED MATES = 1
    • REMOVED MATES = 1
  • Sets
    • S(a);N_GUARD::S(D)
    • S(a);N_GUARD::S(D),XS(a)
    • S(e);N_GUARD::S(D)
    • S(e);N_GUARD::S(D),XS(e)
    • P(f);N_GUARD::B(J)
    • P(g);N_GUARD::B(J)
  • Tries
    • Try
      • K(K);S_FLIGHT
      • Vars
        • S(a);N_GUARD::S(D)
        • S(a);N_GUARD::S(D),XS(a)
        • S(e);N_GUARD::S(D)
        • S(e);N_GUARD::S(D),XS(e)
        • P(f);N_GUARD::B(J)
        • P(g);N_GUARD::B(J)
      • Refutation
        • P(d);
    • Try
      • K(K);P-FLIGHT
      • Vars
        • S(a);N_GUARD::S(D)
        • S(a);N_GUARD::S(D),XS(a)
        • S(e);N_GUARD::S(D)
        • S(e);N_GUARD::S(D),XS(e)
        • P(f);N_GUARD::B(J)
        • P(g);N_GUARD::B(J)
      • Refutation
        • P(d);
    • Try
      • S(B);
      • Vars
        • S(a);N_GUARD::S(D)
        • S(a);N_GUARD::S(D),XS(a)
        • S(e);N_GUARD::S(D)
        • S(e);N_GUARD::S(D),XS(e)
        • P(f);N_GUARD::B(J)
        • P(g);N_GUARD::B(J)
      • Refutation
        • P(d);
    • Try
      • B(I);
      • Vars
        • S(e);N_GUARD,XB(I)::S(D)
        • S(a);N_GUARD::S(D)
        • S(a);N_GUARD::S(D),XS(a)
        • S(e);N_GUARD::S(D)
        • S(e);N_GUARD::S(D),XS(e)
        • P(f);N_GUARD::B(J)
        • P(g);N_GUARD::B(J)
      • Refutation
        • P(d);
    • Try
      • B(I);
      • Vars
        • S(e);N_GUARD,XB(I)::S(D)
        • S(a);N_GUARD::S(D)
        • S(a);N_GUARD::S(D),XS(a)
        • S(e);N_GUARD::S(D)
        • S(e);N_GUARD::S(D),XS(e)
        • P(d);N_GUARD::S(B)
        • P(f);N_GUARD::B(J)
        • P(g);N_GUARD::B(J)
      • Refutation
        • S(e);
    • Try
      • B(J);
      • Threat
        • B(J),XP(f)
      • Vars
        • S(a);N_GUARD::S(D)
        • S(e);N_GUARD::S(D),XS(e)
        • S(e);N_GUARD::S(D)
        • P(f);::B(J)
      • Refutation
        • P(d);
    • Try
      • B(J);
      • Threat
        • B(J),XP(g)
      • Vars
        • S(a);N_GUARD::S(D)
        • S(e);N_GUARD::S(D)
        • P(g);::B(J)
      • Refutation
        • P(d);
    • Try
      • B(J);
      • Vars
        • S(a);N_GUARD::S(D),XS(a)
        • S(a);N_GUARD::S(D)
        • S(e);N_GUARD::S(D)
        • S(e);N_GUARD::S(D),XS(e)
        • P(f);OGATEB::B(J)
        • P(g);N_GUARD::B(J)
      • Refutation
        • P(d);
    • Try
      • B(J);
      • Vars
        • S(a);N_GUARD::S(D),XS(a)
        • S(a);N_GUARD::S(D)
        • S(e);N_GUARD::S(D)
        • S(e);N_GUARD::S(D),XS(e)
        • P(f);N_GUARD::B(J)
        • P(g);OGATEB::B(J)
      • Refutation
        • P(d);
    • Try
      • R(H);
      • Vars
        • S(e);OGATE,XP(F)::QAR1(A),XS(e)
        • S(a);N_GUARD::S(D)
        • S(a);N_GUARD::S(D),XS(a)
        • S(e);N_GUARD::S(D)
        • S(e);N_GUARD::S(D),XS(e)
        • P(f);N_GUARD::B(J)
        • P(g);N_GUARD::B(J)
      • Refutation
        • P(d);
    • Try
      • R(H);
      • Vars
        • S(e);OGATE,XP(F)::QAR1(A),XS(e)
        • S(e);N_GUARD,XR(H)::S(D)
        • S(a);N_GUARD::S(D)
        • S(a);N_GUARD::S(D),XS(a)
        • S(e);N_GUARD::S(D)
        • S(e);N_GUARD::S(D),XS(e)
        • P(f);N_GUARD::B(J)
        • P(g);N_GUARD::B(J)
      • Refutation
        • P(d);
    • Try
      • R(H);
      • Vars
        • S(e);OGATE,XP(F)::QAR1(A),XS(e)
        • S(a);N_GUARD::S(D)
        • S(a);N_GUARD::S(D),XS(a)
        • S(e);N_GUARD::S(D)
        • S(e);N_GUARD::S(D),XS(e)
        • P(f);N_GUARD::B(J)
        • P(g);N_GUARD::B(J)
      • Refutation
        • P(d);
    • Try
      • R(L);
      • Vars
        • S(e);N_GUARD,XR(L)::S(D)
        • S(a);N_GUARD::S(D)
        • S(a);N_GUARD::S(D),XS(a)
        • S(e);N_GUARD::S(D)
        • S(e);N_GUARD::S(D),XS(e)
        • P(f);N_GUARD::B(J)
        • P(g);N_GUARD::B(J)
      • Refutation
        • P(d);
    • Try
      • R(L);
      • Vars
        • S(a);N_GUARD::S(D)
        • S(a);N_GUARD::S(D),XS(a)
        • S(e);N_GUARD::S(D)
        • S(e);N_GUARD::S(D),XS(e)
        • P(f);N_GUARD::B(J)
        • P(g);N_GUARD::B(J)
      • Refutation
        • P(d);
    • Try
      • R(L);
      • Threat
        • DUALS(2)
      • Vars
        • S(a);N_GUARD::S(D)
      • Refutation
        • P(d);
    • Try
      • R(L);
      • Vars
        • S(a);N_GUARD::S(D)
        • S(a);N_GUARD::S(D),XS(a)
        • S(e);N_GUARD::S(D)
        • S(e);N_GUARD::S(D),XS(e)
        • P(f);N_GUARD::B(J)
        • P(g);N_GUARD::B(J)
      • Refutation
        • S(a);
    • Try
      • Q(A);
      • Vars
        • S(a);N_GUARD,XQ(A)::S(D)
        • S(a);N_GUARD::S(D)
        • S(a);N_GUARD::S(D),XS(a)
        • S(e);N_GUARD::S(D)
        • S(e);N_GUARD::S(D),XS(e)
        • P(f);N_GUARD::B(J)
        • P(g);N_GUARD::B(J)
      • Refutation
        • P(d);
    • Try
      • Q(A);
      • Threat
        • QAB1(A),XS(a)
      • Vars
        • S(e);XQ(A)::S(D),XS(e)
        • S(a);N_GUARD::S(D)
        • S(a);N_GUARD::S(D),XS(a)
      • Refutation
        • P(d);
    • Try
      • Q(A);P_PINS(a)
      • Threat
        • DUALS(2)
      • Refutation
        • P(d);
    • Try
      • Q(A);
      • Vars
        • S(a);N_GUARD,XQ(A)::S(D)
        • P(d);N_GUARD::QAR1(A),XP(b)
        • S(a);N_GUARD::S(D)
        • S(a);N_GUARD::S(D),XS(a)
        • S(e);N_GUARD::S(D)
        • S(e);N_GUARD::S(D),XS(e)
        • P(g);N_GUARD::B(J)
      • Refutation
        • P(f);
    • Try
      • Q(A);
      • Threat
        • DUALS(2)
      • Vars
        • S(a);N_GUARD::S(D)
        • S(a);N_GUARD::S(D),XS(a)
      • Refutation
        • P(d);
    • Try
      • Q(A);
      • Threat
        • QAB1(A),XS(a)
      • Vars
        • S(e);N_GUARD,XQ(A)::S(D)
        • S(a);N_GUARD::S(D)
        • S(a);N_GUARD::S(D),XS(a)
        • S(e);N_GUARD::S(D),XS(e)
      • Refutation
        • P(d);
  • Actual
    • K(K);S_FLIGHT
    • Vars
      • S(a);N_GUARD::S(D)
      • S(a);N_GUARD::S(D),XS(a)
      • S(e);N_GUARD::S(D)
      • S(e);N_GUARD::S(D),XS(e)
      • P(d);N_GUARD::S(B)
      • P(f);N_GUARD::B(J)


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