Hi All --
My name is Adrian Walker, and I work on a kind of Wiki for executable English.
The idea is that it may be useful for business analysts to cooperatively write a spec as syllogism-like rules, in English, and then to run the rules as though they were a program. They can then see English explanations of the results.
Since the syllogisms are in English, they are findable via Google and other search engines.
Shared use of the Wiki is free. Please Google "executable English", or point a browser to www.reengineeringllc.com .
Thanks for comments!