blocksWorldAlternative.BlocksWorld
10
-1
10,"goal on$A$B"