2<cite> Park and Cardie (2014)</cite> and Park et al. (2015) used this corpus for examining each proposition with respect to its verifiability to determine the desirable types of support for the analysis of arguments.