First attempt at describing sokoban domain