chap 4.14 : The Blocks World Domain