rook-corners-1.cql

// Download rook-corners-1.cql
// PGN output when run on sample.pgn

/*********
look for rook visiting the four corners
**********/

cql( input hhdbvi.pgn )
initial
 ◭T∊♖{
  find T==a1
  find T==a8
  find T==h1
  find T==h8
}