Natural language inference using attempto controlled english 
Paper to come

```
@inproceedings{fuchs2012first,
  title={First-order reasoning for attempto controlled english},
  author={Fuchs, Norbert E},
  booktitle={Controlled Natural Language: Second International Workshop, CNL 2010, Marettimo Island, Italy, September 13-15, 2010. Revised Papers 2},
  pages={73--94},
  year={2012},
  organization={Springer}
}
```
task_categories:text-classification task_ids:natural-language-inference language:en license:apache-2.0 region:us
{"language": ["en"], "license": "apache-2.0", "task_categories": ["text-classification"], "task_ids": ["natural-language-inference"]}
TAGS
#task_categories-text-classification #task_ids-natural-language-inference #language-English #license-apache-2.0 #region-us 

Natural language inference using attempto controlled english 
Paper to come


TAGS
#task_categories-text-classification #task_ids-natural-language-inference #language-English #license-apache-2.0 #region-us 

passage: TAGS
#task_categories-text-classification #task_ids-natural-language-inference #language-English #license-apache-2.0 #region-us 
