(Kate and Mooney, 2006;Wong and Mooney, 2007;Muresan, 2011;Kwiatkowski et al., 2010Kwiatkowski et al., , 2011Kwiatkowski et al., , 2012Jones et al., 2012).
these techniques require training data with hand-labeled domain-specific logical expressions.