These methods have the advantage that the complexity of individual examples can be precisely characterized without reference to the models being evaluated.
the essence of natural logic reasoning is recursive composition up a tree structure where the premise and hypothesis are composed jointly, so this bottleneck proves extremely problematic.