Experiment with Johnson-Laird's Procedural Semantics on spatial reasonning and webGL.