SHRDLU resurrection

> Person: IS THERE ANYTHING WHICH IS BIGGER THAN EVERY PYRAMID BUT IS NOT AS WIDE AS THE THING THAT SUPPORTS IT?

> Computer: YES, THE BLUE BLOCK.

... makes me want to add some punctuation / variable definitions there. Natural human language is really not the best for expressing conplex multilevel relationships. The math-like notation would make that more readable and less error prone.