Replication Data for: Finite state intensional semantics

Replication material for a paper to be presented at the 12th International Conference on Computational Semantics, 19-22 September 2017 Montpellier (France). Includes code that interprets a logical language in finite state possible worlds semantics, and a categorial grammar that translates an English fragment into the logical language. Based on Xfst/Foma and Barker and Shan's reference parser for continuation categorial grammar.

本数据集为将在2017年9月19日至22日于法国蒙彼利埃举办的第12届国际计算语义学会议（12th International Conference on Computational Semantics）上发表的论文的复现材料。其包含可基于有限状态可能世界语义学（finite state possible worlds semantics）实现某一逻辑语言语义解释的代码，以及将英语片段翻译为该逻辑语言的范畴语法（categorial grammar）。本材料基于Xfst/Foma工具，以及Barker与Shan提出的接续范畴语法（continuation categorial grammar）参考解析器。