It is unlikely that any "controlled English" can be processed into formal logic 
and maintain its original meaning, not least because of Peirce's "third."  (01)
Peirce's simple example is: "A gives B to C" which is impossible to capture in 
dyadic form.  (02)
Regards,
Steven  (03)
On Mar 20, 2013, at 10:07 PM, "Barkmeyer, Edward J" <edward.barkmeyer@xxxxxxxx> 
wrote:  (04)
> It does not define a controlled English that one could guarantee to process 
>into formal logic  (05) 
_________________________________________________________________
Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/ 
Config Subscr: http://ontolog.cim3.net/mailman/listinfo/ontolog-forum/ 
Unsubscribe: mailto:ontolog-forum-leave@xxxxxxxxxxxxxxxx
Shared Files: http://ontolog.cim3.net/file/
Community Wiki: http://ontolog.cim3.net/wiki/ 
To join: http://ontolog.cim3.net/cgi-bin/wiki.pl?WikiHomePage#nid1J  (06)