What Next?

Step 1: Make Web-Scale CNLs

Possibly Enriching Existing CNLs ...

Elaborate:

• Make formalistic languages (ACE, FE, CPL, ...) more expressive.
• Make naturalistic languages (KANT CE, DLTIL, EasyEnglishAnalyzer, ...) more precise.

Add documentation.

Replicate.