Problem Display
PID: 96898 (1RR4Q/2Ppp3/1BNp4/1p1k1P1K/1p5p/1P3P1P/2B5/4q3 w - - 0 1)

Wenman, Francis Percival (aka Percy Wenman)

200 Assorted Problems (Wenman), 1945

1RR4Q/2Ppp3/1BNp4/1p1k1P1K/1p5p/1P3P1P/2B5/4q3

#2

12 + 8


6490 yacpdb 2009

SOLUTION


  • SOUND
  • Sets
    • 1...Qd2
      • 2.Sxe7#
      • 2.Be4#
    • 1...Qf2
      • 2.Sxb4#
      • 2.Sxe7#
      • 2.Be4#
    • 1...Qc3
      • 2.Sxe7#
      • 2.Be4#
    • 1...Qg3
      • 2.Sxb4#
      • 2.Sxe7#
      • 2.Be4#
    • 1...Qa1
      • 2.Sxb4#
      • 2.Sxe7#
      • 2.Be4#
    • 1...Qb1
      • 2.Sxb4#
      • 2.Sxe7#
    • 1...Qc1
      • 2.Sxb4#
      • 2.Sxe7#
      • 2.Be4#
    • 1...Qd1
      • 2.Sxb4#
      • 2.Sxe7#
      • 2.Be4#
    • 1...Qf1
      • 2.Sxb4#
      • 2.Sxe7#
      • 2.Be4#
    • 1...Qg1
      • 2.Sxb4#
      • 2.Sxe7#
      • 2.Be4#
    • 1...Qh1
      • 2.Sxb4#
      • 2.Sxe7#
      • 2.Be4#
    • 1...Qe2
      • 2.Sxb4#
    • 1...Qe3
      • 2.Sxb4#
    • 1...Qe4
      • 2.Bxe4#
    • 1...Qe5
      • 2.Sxb4#
    • 1...Qe6
      • 2.Sxb4#
    • 1...dxc6
      • 2.Qd4#
    • 1...e5
      • 2.Se7#
    • 1...e6
      • 2.Se7#
  • Tries
    • 1.Bb1?
      • 1...Qxb1
        • 2.Sxb4#
        • 2.Sxe7#
      • 1...dxc6
        • 2.Qd4#
      • 1...Qe3
        • 2.Sxb4#
      • 1...Qd2
        • 2.Sxe7#
        • 2.Be4#
      • 1...Qf2
        • 2.Sxb4#
        • 2.Sxe7#
        • 2.Be4#
      • 1...Qc3
        • 2.Sxe7#
        • 2.Be4#
      • 1...Qg3
        • 2.Sxb4#
        • 2.Sxe7#
        • 2.Be4#
      • 1...Qc1
        • 2.Sxb4#
        • 2.Sxe7#
        • 2.Be4#
      • 1...Qd1
        • 2.Sxb4#
        • 2.Sxe7#
        • 2.Be4#
      • 1...Qf1
        • 2.Sxb4#
        • 2.Sxe7#
        • 2.Be4#
      • 1...Qg1
        • 2.Sxb4#
        • 2.Sxe7#
        • 2.Be4#
      • 1...Qh1
        • 2.Sxb4#
        • 2.Sxe7#
        • 2.Be4#
      • 1...Qe2
        • 2.Sxb4#
      • 1...Qe4
        • 2.Bxe4#
      • 1...Qe5
        • 2.Sxb4#
      • 1...Qe6
        • 2.Sxb4#
      • 1...e5
        • 2.Se7#
      • 1...e6
        • 2.Se7#
      • 1...Kxc6!
    • 1.Bd3?
      • 1...dxc6
        • 2.Qd4#
      • 1...Qe3
        • 2.Sxb4#
      • 1...Qd2
        • 2.Sxe7#
        • 2.Be4#
      • 1...Qf2
        • 2.Sxb4#
        • 2.Sxe7#
        • 2.Be4#
      • 1...Qc3
        • 2.Sxe7#
        • 2.Be4#
      • 1...Qg3
        • 2.Sxb4#
        • 2.Sxe7#
        • 2.Be4#
      • 1...Qa1
        • 2.Sxb4#
        • 2.Sxe7#
        • 2.Be4#
      • 1...Qb1
        • 2.Sxb4#
        • 2.Sxe7#
      • 1...Qc1
        • 2.Sxb4#
        • 2.Sxe7#
        • 2.Be4#
      • 1...Qd1
        • 2.Sxb4#
        • 2.Sxe7#
        • 2.Be4#
      • 1...Qf1
        • 2.Sxb4#
        • 2.Sxe7#
        • 2.Be4#
      • 1...Qg1
        • 2.Sxb4#
        • 2.Sxe7#
        • 2.Be4#
      • 1...Qh1
        • 2.Sxb4#
        • 2.Sxe7#
        • 2.Be4#
      • 1...Qe2
        • 2.Sxb4#
      • 1...Qe4
        • 2.Bxe4#
      • 1...Qe5
        • 2.Sxb4#
      • 1...Qe6
        • 2.Sxb4#
      • 1...e5
        • 2.Se7#
      • 1...e6
        • 2.Se7#
      • 1...Kxc6!
    • 1.Ba7?
      • 1...dxc6
        • 2.Qd4#
      • 1...Qe3
        • 2.Sxb4#
      • 1...Qd2
        • 2.Sxe7#
        • 2.Be4#
      • 1...Qf2
        • 2.Sxb4#
        • 2.Sxe7#
        • 2.Be4#
      • 1...Qc3
        • 2.Sxe7#
        • 2.Be4#
      • 1...Qg3
        • 2.Sxb4#
        • 2.Sxe7#
        • 2.Be4#
      • 1...Qa1
        • 2.Sxb4#
        • 2.Sxe7#
        • 2.Be4#
      • 1...Qb1
        • 2.Sxb4#
        • 2.Sxe7#
      • 1...Qc1
        • 2.Sxb4#
        • 2.Sxe7#
        • 2.Be4#
      • 1...Qd1
        • 2.Sxb4#
        • 2.Sxe7#
        • 2.Be4#
      • 1...Qf1
        • 2.Sxb4#
        • 2.Sxe7#
        • 2.Be4#
      • 1...Qg1
        • 2.Sxb4#
        • 2.Sxe7#
        • 2.Be4#
      • 1...Qh1
        • 2.Sxb4#
        • 2.Sxe7#
        • 2.Be4#
      • 1...Qe2
        • 2.Sxb4#
      • 1...Qe4
        • 2.Bxe4#
      • 1...Qe5
        • 2.Sxb4#
      • 1...Qe6
        • 2.Sxb4#
      • 1...e5
        • 2.Se7#
      • 1...e6
        • 2.Se7#
      • 1...Kxc6!
    • 1.Rb7?
      • 1...dxc6
        • 2.Qd4#
      • 1...Qe3
        • 2.Sxb4#
      • 1...Qd2
        • 2.Sxe7#
        • 2.Be4#
      • 1...Qf2
        • 2.Sxb4#
        • 2.Sxe7#
        • 2.Be4#
      • 1...Qc3
        • 2.Sxe7#
        • 2.Be4#
      • 1...Qg3
        • 2.Sxb4#
        • 2.Sxe7#
        • 2.Be4#
      • 1...Qa1
        • 2.Sxb4#
        • 2.Sxe7#
        • 2.Be4#
      • 1...Qb1
        • 2.Sxb4#
        • 2.Sxe7#
      • 1...Qc1
        • 2.Sxb4#
        • 2.Sxe7#
        • 2.Be4#
      • 1...Qd1
        • 2.Sxb4#
        • 2.Sxe7#
        • 2.Be4#
      • 1...Qf1
        • 2.Sxb4#
        • 2.Sxe7#
        • 2.Be4#
      • 1...Qg1
        • 2.Sxb4#
        • 2.Sxe7#
        • 2.Be4#
      • 1...Qh1
        • 2.Sxb4#
        • 2.Sxe7#
        • 2.Be4#
      • 1...Qe2
        • 2.Sxb4#
      • 1...Qe4
        • 2.Bxe4#
      • 1...Qe5
        • 2.Sxb4#
      • 1...Qe6
        • 2.Sxb4#
      • 1...e5
        • 2.Se7#
      • 1...e6
        • 2.Se7#
      • 1...Kxc6!
    • 1.Ra8?
      • 1...dxc6
        • 2.Qd4#
      • 1...Qe3
        • 2.Sxb4#
      • 1...Qd2
        • 2.Sxe7#
        • 2.Be4#
      • 1...Qf2
        • 2.Sxb4#
        • 2.Sxe7#
        • 2.Be4#
      • 1...Qc3
        • 2.Sxe7#
        • 2.Be4#
      • 1...Qg3
        • 2.Sxb4#
        • 2.Sxe7#
        • 2.Be4#
      • 1...Qa1
        • 2.Sxb4#
        • 2.Sxe7#
        • 2.Be4#
      • 1...Qb1
        • 2.Sxb4#
        • 2.Sxe7#
      • 1...Qc1
        • 2.Sxb4#
        • 2.Sxe7#
        • 2.Be4#
      • 1...Qd1
        • 2.Sxb4#
        • 2.Sxe7#
        • 2.Be4#
      • 1...Qf1
        • 2.Sxb4#
        • 2.Sxe7#
        • 2.Be4#
      • 1...Qg1
        • 2.Sxb4#
        • 2.Sxe7#
        • 2.Be4#
      • 1...Qh1
        • 2.Sxb4#
        • 2.Sxe7#
        • 2.Be4#
      • 1...Qe2
        • 2.Sxb4#
      • 1...Qe4
        • 2.Bxe4#
      • 1...Qe5
        • 2.Sxb4#
      • 1...Qe6
        • 2.Sxb4#
      • 1...e5
        • 2.Se7#
      • 1...e6
        • 2.Se7#
      • 1...Kxc6!
    • 1.Rd8?
      • 1...dxc6
        • 2.Qd4#
      • 1...Qe3
        • 2.Sxb4#
      • 1...Qd2
        • 2.Sxe7#
        • 2.Be4#
      • 1...Qf2
        • 2.Sxb4#
        • 2.Sxe7#
        • 2.Be4#
      • 1...Qc3
        • 2.Sxe7#
        • 2.Be4#
      • 1...Qg3
        • 2.Sxb4#
        • 2.Sxe7#
        • 2.Be4#
      • 1...Qa1
        • 2.Sxb4#
        • 2.Sxe7#
        • 2.Be4#
      • 1...Qb1
        • 2.Sxb4#
        • 2.Sxe7#
      • 1...Qc1
        • 2.Sxb4#
        • 2.Sxe7#
        • 2.Be4#
      • 1...Qd1
        • 2.Sxb4#
        • 2.Sxe7#
        • 2.Be4#
      • 1...Qf1
        • 2.Sxb4#
        • 2.Sxe7#
        • 2.Be4#
      • 1...Qg1
        • 2.Sxb4#
        • 2.Sxe7#
        • 2.Be4#
      • 1...Qh1
        • 2.Sxb4#
        • 2.Sxe7#
        • 2.Be4#
      • 1...Qe2
        • 2.Sxb4#
      • 1...Qe4
        • 2.Bxe4#
      • 1...Qe5
        • 2.Sxb4#
      • 1...Qe6
        • 2.Sxb4#
      • 1...e5
        • 2.Se7#
      • 1...e6
        • 2.Se7#
      • 1...Kxc6!
    • 1.Re8?
      • 1...dxc6
        • 2.Qd4#
      • 1...Qe3
        • 2.Sxb4#
      • 1...Qd2
        • 2.Sxe7#
        • 2.Be4#
      • 1...Qf2
        • 2.Sxb4#
        • 2.Sxe7#
        • 2.Be4#
      • 1...Qc3
        • 2.Sxe7#
        • 2.Be4#
      • 1...Qg3
        • 2.Sxb4#
        • 2.Sxe7#
        • 2.Be4#
      • 1...Qa1
        • 2.Sxb4#
        • 2.Sxe7#
        • 2.Be4#
      • 1...Qb1
        • 2.Sxb4#
        • 2.Sxe7#
      • 1...Qc1
        • 2.Sxb4#
        • 2.Sxe7#
        • 2.Be4#
      • 1...Qd1
        • 2.Sxb4#
        • 2.Sxe7#
        • 2.Be4#
      • 1...Qf1
        • 2.Sxb4#
        • 2.Sxe7#
        • 2.Be4#
      • 1...Qg1
        • 2.Sxb4#
        • 2.Sxe7#
        • 2.Be4#
      • 1...Qh1
        • 2.Sxb4#
        • 2.Sxe7#
        • 2.Be4#
      • 1...Qe2
        • 2.Sxb4#
      • 1...Qe4
        • 2.Bxe4#
      • 1...Qe5
        • 2.Sxb4#
      • 1...Qe6
        • 2.Sxb4#
      • 1...e5
        • 2.Se7#
      • 1...e6
        • 2.Se7#
      • 1...Kxc6!
    • 1.Rf8?
      • 1...dxc6
        • 2.Qd4#
      • 1...Qe3
        • 2.Sxb4#
      • 1...Qd2
        • 2.Sxe7#
        • 2.Be4#
      • 1...Qf2
        • 2.Sxb4#
        • 2.Sxe7#
        • 2.Be4#
      • 1...Qc3
        • 2.Sxe7#
        • 2.Be4#
      • 1...Qg3
        • 2.Sxb4#
        • 2.Sxe7#
        • 2.Be4#
      • 1...Qa1
        • 2.Sxb4#
        • 2.Sxe7#
        • 2.Be4#
      • 1...Qb1
        • 2.Sxb4#
        • 2.Sxe7#
      • 1...Qc1
        • 2.Sxb4#
        • 2.Sxe7#
        • 2.Be4#
      • 1...Qd1
        • 2.Sxb4#
        • 2.Sxe7#
        • 2.Be4#
      • 1...Qf1
        • 2.Sxb4#
        • 2.Sxe7#
        • 2.Be4#
      • 1...Qg1
        • 2.Sxb4#
        • 2.Sxe7#
        • 2.Be4#
      • 1...Qh1
        • 2.Sxb4#
        • 2.Sxe7#
        • 2.Be4#
      • 1...Qe2
        • 2.Sxb4#
      • 1...Qe4
        • 2.Bxe4#
      • 1...Qe5
        • 2.Sxb4#
      • 1...Qe6
        • 2.Sxb4#
      • 1...e5
        • 2.Se7#
      • 1...e6
        • 2.Se7#
      • 1...Kxc6!
    • 1.Rg8?
      • 1...dxc6
        • 2.Qd4#
      • 1...Qe3
        • 2.Sxb4#
      • 1...Qd2
        • 2.Sxe7#
        • 2.Be4#
      • 1...Qf2
        • 2.Sxb4#
        • 2.Sxe7#
        • 2.Be4#
      • 1...Qc3
        • 2.Sxe7#
        • 2.Be4#
      • 1...Qg3
        • 2.Sxb4#
        • 2.Sxe7#
        • 2.Be4#
      • 1...Qa1
        • 2.Sxb4#
        • 2.Sxe7#
        • 2.Be4#
      • 1...Qb1
        • 2.Sxb4#
        • 2.Sxe7#
      • 1...Qc1
        • 2.Sxb4#
        • 2.Sxe7#
        • 2.Be4#
      • 1...Qd1
        • 2.Sxb4#
        • 2.Sxe7#
        • 2.Be4#
      • 1...Qf1
        • 2.Sxb4#
        • 2.Sxe7#
        • 2.Be4#
      • 1...Qg1
        • 2.Sxb4#
        • 2.Sxe7#
        • 2.Be4#
      • 1...Qh1
        • 2.Sxb4#
        • 2.Sxe7#
        • 2.Be4#
      • 1...Qe2
        • 2.Sxb4#
      • 1...Qe4
        • 2.Bxe4#
      • 1...Qe5
        • 2.Sxb4#
      • 1...Qe6
        • 2.Sxb4#
      • 1...e5
        • 2.Se7#
      • 1...e6
        • 2.Se7#
      • 1...Kxc6!
    • 1.Qb2?
      • 1...dxc6
        • 2.Qd4#
      • 1...Qe3
        • 2.Sxb4#
      • 1...Qd2
        • 2.Sxe7#
        • 2.Be4#
      • 1...Qf2
        • 2.Sxb4#
        • 2.Sxe7#
        • 2.Be4#
      • 1...Qc3
        • 2.Be4#
      • 1...Qg3
        • 2.Sxb4#
        • 2.Sxe7#
        • 2.Be4#
      • 1...Qa1
        • 2.Sxb4#
        • 2.Sxe7#
        • 2.Be4#
      • 1...Qb1
        • 2.Sxb4#
        • 2.Sxe7#
      • 1...Qc1
        • 2.Sxb4#
        • 2.Sxe7#
        • 2.Be4#
      • 1...Qd1
        • 2.Sxb4#
        • 2.Sxe7#
        • 2.Be4#
      • 1...Qf1
        • 2.Sxb4#
        • 2.Sxe7#
        • 2.Be4#
      • 1...Qg1
        • 2.Sxb4#
        • 2.Sxe7#
        • 2.Be4#
      • 1...Qh1
        • 2.Sxb4#
        • 2.Sxe7#
        • 2.Be4#
      • 1...Qe2
        • 2.Sxb4#
      • 1...Qe4
        • 2.Bxe4#
      • 1...Qe5
        • 2.Sxb4#
      • 1...Qe6
        • 2.Sxb4#
      • 1...e5
        • 2.Se7#
      • 1...e6
        • 2.Se7#
      • 1...Kxc6!
    • 1.Qc3?
      • threat
        • 2.Sxb4#
      • 1...Qxc3
        • 2.Be4#
      • 1...dxc6
        • 2.Qd4#
      • 1...Qe4
        • 2.Bxe4#
        • 2.fxe4#
      • 1...bxc3!
    • 1.Qg7?
      • 1...dxc6
        • 2.Qd4#
      • 1...Qe3
        • 2.Sxb4#
      • 1...Qd2
        • 2.Sxe7#
        • 2.Be4#
      • 1...Qf2
        • 2.Sxb4#
        • 2.Sxe7#
        • 2.Be4#
      • 1...Qc3
        • 2.Sxe7#
        • 2.Be4#
      • 1...Qg3
        • 2.Sxb4#
        • 2.Sxe7#
        • 2.Be4#
      • 1...Qa1
        • 2.Sxb4#
        • 2.Sxe7#
        • 2.Be4#
      • 1...Qb1
        • 2.Sxb4#
        • 2.Sxe7#
      • 1...Qc1
        • 2.Sxb4#
        • 2.Sxe7#
        • 2.Be4#
      • 1...Qd1
        • 2.Sxb4#
        • 2.Sxe7#
        • 2.Be4#
      • 1...Qf1
        • 2.Sxb4#
        • 2.Sxe7#
        • 2.Be4#
      • 1...Qg1
        • 2.Sxb4#
        • 2.Sxe7#
        • 2.Be4#
      • 1...Qh1
        • 2.Sxb4#
        • 2.Sxe7#
        • 2.Be4#
      • 1...Qe2
        • 2.Sxb4#
      • 1...Qe4
        • 2.Bxe4#
      • 1...Qe5
        • 2.Sxb4#
      • 1...Qe6
        • 2.Sxb4#
      • 1...e5
        • 2.Se7#
      • 1...e6
        • 2.Se7#
      • 1...Kxc6!
  • Keys
    • 1.Qa1!
      • 1...Kxc6
        • 2.Qa8#
      • 1...Qxa1
        • 2.Be4#
      • 1...dxc6
        • 2.Qd4#
      • 1...Qe3
        • 2.Sxb4#
      • 1...Qd2
        • 2.Sxe7#
        • 2.Be4#
      • 1...Qf2
        • 2.Sxb4#
        • 2.Sxe7#
        • 2.Be4#
      • 1...Qc3
        • 2.Be4#
      • 1...Qg3
        • 2.Sxb4#
        • 2.Sxe7#
        • 2.Be4#
      • 1...Qb1
        • 2.Sxb4#
        • 2.Sxe7#
      • 1...Qc1
        • 2.Sxb4#
        • 2.Sxe7#
        • 2.Be4#
      • 1...Qd1
        • 2.Sxb4#
        • 2.Sxe7#
        • 2.Be4#
      • 1...Qf1
        • 2.Sxb4#
        • 2.Sxe7#
        • 2.Be4#
      • 1...Qg1
        • 2.Sxb4#
        • 2.Sxe7#
        • 2.Be4#
      • 1...Qh1
        • 2.Sxb4#
        • 2.Sxe7#
        • 2.Be4#
      • 1...Qe2
        • 2.Sxb4#
      • 1...Qe4
        • 2.Bxe4#
      • 1...Qe5
        • 2.Sxb4#
      • 1...Qe6
        • 2.Sxb4#
      • 1...e5
        • 2.Se7#
      • 1...e6
        • 2.Se7#

FEATURES


  • Static
    • TYPE = INCOMPLETE_BLOCK
    • CHANGED MATES = 0
    • ADDED MATES = 3
    • REMOVED MATES = 0
  • Sets
    • Q(a);N_GUARD,P_PINP(C)::S(H),XP(b)
    • Q(a);N_GUARD::S(H),XP(b)
    • Q(a);N_GUARD::B(A),XQ(a)
    • Q(a);N_GUARD,P_PINP(E)::S(H),XP(b)
    • P(g);SBLOCK,XS(H)::QAR1(L)
    • P(h);S_CUTQ(a)::S(H)
  • Tries
    • Try
      • B(A);
      • Vars
        • P(g);SBLOCK,XS(H)::QAR1(L)
        • Q(a);N_GUARD::S(H),XP(b)
        • Q(a);N_GUARD,P_PINP(C)::S(H),XP(b)
        • Q(a);N_GUARD::B(A),XQ(a)
        • Q(a);N_GUARD,P_PINP(E)::S(H),XP(b)
        • P(h);S_CUTQ(a)::S(H)
      • Refutation
        • K(e);S_FLIGHT,XS(H)
    • Try
      • B(A);
      • Vars
        • P(g);SBLOCK,XS(H)::QAR1(L)
        • Q(a);N_GUARD::S(H),XP(b)
        • Q(a);N_GUARD,P_PINP(C)::S(H),XP(b)
        • Q(a);N_GUARD::B(A),XQ(a)
        • Q(a);N_GUARD,P_PINP(E)::S(H),XP(b)
        • P(h);S_CUTQ(a)::S(H)
      • Refutation
        • K(e);S_FLIGHT,XS(H)
    • Try
      • B(G);
      • Vars
        • P(g);SBLOCK,XS(H)::QAR1(L)
        • Q(a);N_GUARD::S(H),XP(b)
        • Q(a);N_GUARD,P_PINP(C)::S(H),XP(b)
        • Q(a);N_GUARD::B(A),XQ(a)
        • Q(a);N_GUARD,P_PINP(E)::S(H),XP(b)
        • P(h);S_CUTQ(a)::S(H)
      • Refutation
        • K(e);S_FLIGHT,XS(H)
    • Try
      • R(J);
      • Vars
        • P(g);SBLOCK,XS(H)::QAR1(L)
        • Q(a);N_GUARD::S(H),XP(b)
        • Q(a);N_GUARD,P_PINP(C)::S(H),XP(b)
        • Q(a);N_GUARD::B(A),XQ(a)
        • Q(a);N_GUARD,P_PINP(E)::S(H),XP(b)
        • P(h);S_CUTQ(a)::S(H)
      • Refutation
        • K(e);S_FLIGHT,XS(H)
    • Try
      • R(J);
      • Vars
        • P(g);SBLOCK,XS(H)::QAR1(L)
        • Q(a);N_GUARD::S(H),XP(b)
        • Q(a);N_GUARD,P_PINP(C)::S(H),XP(b)
        • Q(a);N_GUARD::B(A),XQ(a)
        • Q(a);N_GUARD,P_PINP(E)::S(H),XP(b)
        • P(h);S_CUTQ(a)::S(H)
      • Refutation
        • K(e);S_FLIGHT,XS(H)
    • Try
      • R(K);
      • Vars
        • P(g);P_SPINP(f),SBLOCK,XS(H)::QAR1(L)
        • Q(a);N_GUARD::S(H),XP(b)
        • Q(a);N_GUARD,P_PINP(C)::S(H),XP(b)
        • Q(a);N_GUARD::B(A),XQ(a)
        • Q(a);N_GUARD,P_PINP(E)::S(H),XP(b)
        • P(h);S_CUTQ(a)::S(H)
      • Refutation
        • K(e);S_FLIGHT,XS(H)
    • Try
      • R(K);
      • Vars
        • P(g);SBLOCK,XS(H)::QAR1(L)
        • Q(a);N_GUARD::S(H),XP(b)
        • Q(a);N_GUARD,P_PINP(C)::S(H),XP(b)
        • Q(a);N_GUARD::B(A),XQ(a)
        • Q(a);N_GUARD,P_PINP(E)::S(H),XP(b)
        • P(h);S_CUTQ(a)::S(H)
      • Refutation
        • K(e);S_FLIGHT,XS(H)
    • Try
      • R(K);
      • Vars
        • P(g);SBLOCK,XS(H)::QAR1(L)
        • Q(a);N_GUARD::S(H),XP(b)
        • Q(a);N_GUARD,P_PINP(C)::S(H),XP(b)
        • Q(a);N_GUARD::B(A),XQ(a)
        • Q(a);N_GUARD,P_PINP(E)::S(H),XP(b)
        • P(h);S_CUTQ(a)::S(H)
      • Refutation
        • K(e);S_FLIGHT,XS(H)
    • Try
      • R(K);
      • Vars
        • P(g);SBLOCK,XS(H)::QAR1(L)
        • Q(a);N_GUARD::S(H),XP(b)
        • Q(a);N_GUARD,P_PINP(C)::S(H),XP(b)
        • Q(a);N_GUARD::B(A),XQ(a)
        • Q(a);N_GUARD,P_PINP(E)::S(H),XP(b)
        • P(h);S_CUTQ(a)::S(H)
      • Refutation
        • K(e);S_FLIGHT,XS(H)
    • Try
      • Q(L);
      • Vars
        • P(g);SBLOCK,XS(H)::QAR1(L)
        • Q(a);N_GUARD::S(H),XP(b)
        • Q(a);N_GUARD::B(A)
        • Q(a);N_GUARD,P_PINP(C)::S(H),XP(b)
        • Q(a);N_GUARD::B(A),XQ(a)
        • Q(a);N_GUARD,P_PINP(E)::S(H),XP(b)
        • P(h);S_CUTQ(a)::S(H)
      • Refutation
        • K(e);S_FLIGHT,XS(H)
    • Try
      • Q(L);
      • Threat
        • S(H),XP(b)
      • Vars
        • Q(a);N_GUARD,XQ(L)::B(A)
        • P(g);SBLOCK,XS(H)::QAR1(L)
      • Refutation
        • P(b);XQ(L)
    • Try
      • Q(L);
      • Vars
        • P(g);SBLOCK,XS(H)::QAR1(L)
        • Q(a);N_GUARD::S(H),XP(b)
        • Q(a);N_GUARD,P_PINP(C)::S(H),XP(b)
        • Q(a);N_GUARD::B(A),XQ(a)
        • Q(a);N_GUARD,P_PINP(E)::S(H),XP(b)
        • P(h);S_CUTQ(a)::S(H)
      • Refutation
        • K(e);S_FLIGHT,XS(H)
  • Actual
    • Q(L);
    • Vars
      • K(e);OGATEB,S_FLIGHT,XS(H)::QAB(L)
      • Q(a);N_GUARD,XQ(L)::B(A)
      • P(g);SBLOCK,XS(H)::QAR1(L)
      • Q(a);N_GUARD::S(H),XP(b)
      • Q(a);N_GUARD::B(A)
      • Q(a);N_GUARD,P_PINP(C)::S(H),XP(b)
      • Q(a);N_GUARD::B(A),XQ(a)
      • Q(a);N_GUARD,P_PINP(E)::S(H),XP(b)
      • P(h);S_CUTQ(a)::S(H)


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