数据集:
sileod/attempto-nli
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}
}