The name of the game is tic-tac-toe.
Load init-tictactoerc.
Ok.
You can move a clear available red block onto a clear location.
If a block is not on a location then it is available.
If a location is not below an object then it is clear.
Load final-tictactoe2rc.
The name of the goal is three-in-row.
Ok.
The goal is that three of the captured locations are in a line.
If a location is below a red block then it is captured.
If the locations are linear then they are in a line.
Load fail-tictactoerc.
The name of the failure is opponent-three.
Ok.
If three of the occupied locations are in a line then you lose.
If a location is below a blue block then it is occupied.
Done.
No.