It doesn't work anymore - but for a while you could ask Siri (also via Stanford) "do you know shrdlu" (you'd have to type it into the correction box) and it would respond with something to the effect: "Wasn't SHRDLU crushed by a blue pyramid?"