aethel (Automatically Extracted Theorems from Lassy)

大约 75,000 个短语和句子的数据集，作为类型逻辑推导进行句法分析（即模态直觉线性逻辑的证明，或相应 λ 演算的程序）。通过转换 Lassy-Small 语料库的依赖图获得分析。