For instance, Bowman (2013) poses generalization tasks in which entire reasoning patterns are held out for testing.
to assign these labels, we translate each premisehypothesis pair into first-order logic and use Prover9 (McCune, 2005(McCune, -2010.