Semantic types for computational legal reasoning: propositional connectives and sentence roles in the veterans' claims dataset. - Vern R. Walker; Ji Hae Han; Xiang Ni; Kaneyasu Yoseda (ICAIL, 2017)