Now that the patent filings are done, we can discuss and show more about the Linguist…
The following link is a video that shows a sentence from Project Sherlock being translated from English into first-order logic using the patent-pending Linguisttm software.
This video was recorded in October, 2012. More recent versions of the Linguist can render the logic in more ways, such as shown below:
very cool