[
{"@confidence": 0.6, "@name": "pel47_1_1", "@role": "axiom", "@logic": ["forall", ["X"], [["wolf", "X"], "=>", ["animal", "X"]]]},
{"@confidence": 0.61, "@name": "pel47_1_2", "@role": "axiom", "@logic": ["exists", ["X1"], ["wolf", "X1"]]},
{"@confidence": 0.62, "@name": "pel47_2_1", "@role": "axiom", "@logic": ["forall", ["X"], [["fox", "X"], "=>", ["animal", "X"]]]},
{"@confidence": 0.63, "@name": "pel47_2_2", "@role": "axiom", "@logic": ["exists", ["X1"], ["fox", "X1"]]},
{"@confidence": 0.64, "@name": "pel47_3_1", "@role": "axiom", "@logic": ["forall", ["X"], [["bird", "X"], "=>", ["animal", "X"]]]},
{"@confidence": 0.65, "@name": "pel47_3_2", "@role": "axiom", "@logic": ["exists", ["X1"], ["bird", "X1"]]},
{"@confidence": 0.66, "@name": "pel47_4_1", "@role": "axiom", "@logic": ["forall", ["X"], [["caterpillar", "X"], "=>", ["animal", "X"]]]},
{"@confidence": 0.67, "@name": "pel47_4_2", "@role": "axiom", "@logic": ["exists", ["X1"], ["caterpillar", "X1"]]},
{"@confidence": 0.68, "@name": "pel47_5_1", "@role": "axiom", "@logic": ["forall", ["X"], [["snail", "X"], "=>", ["animal", "X"]]]},
{"@confidence": 0.6900000000000001, "@name": "pel47_5_2", "@role": "axiom", "@logic": ["exists", ["X1"], ["snail", "X1"]]},
{"@confidence": 0.7000000000000001, "@name": "pel47_6_1", "@role": "axiom", "@logic": ["exists", ["X"], ["grain", "X"]]},
{"@confidence": 0.7100000000000001, "@name": "pel47_6_2", "@role": "axiom", "@logic": ["forall", ["X1"], [["grain", "X1"], "=>", ["plant", "X1"]]]},
{"@confidence": 0.7200000000000001, "@name": "pel47_7", "@role": "axiom", "@logic": ["forall", ["X"], [["animal", "X"], "=>", [["forall", ["Y"], [["plant", "Y"], "=>", ["eats", "X", "Y"]]], "|", ["forall", ["Y1"], [[[["animal", "Y1"], "&", ["much_smaller", "Y1", "X"]], "&", ["exists", ["Z"], [["plant", "Z"], "&", ["eats", "Y1", "Z"]]]], "=>", ["eats", "X", "Y1"]]]]]]},
{"@confidence": 0.7300000000000001, "@name": "pel47_8", "@role": "axiom", "@logic": ["forall", ["X", "Y"], [[["bird", "Y"], "&", [["snail", "X"], "|", ["caterpillar", "X"]]], "=>", ["much_smaller", "X", "Y"]]]},
{"@confidence": 0.7400000000000001, "@name": "pel47_9", "@role": "axiom", "@logic": ["forall", ["X", "Y"], [[["bird", "X"], "&", ["fox", "Y"]], "=>", ["much_smaller", "X", "Y"]]]},
{"@confidence": 0.7500000000000001, "@name": "pel47_10", "@role": "axiom", "@logic": ["forall", ["X", "Y"], [[["fox", "X"], "&", ["wolf", "Y"]], "=>", ["much_smaller", "X", "Y"]]]},
{"@confidence": 0.7600000000000001, "@name": "pel47_11", "@role": "axiom", "@logic": ["forall", ["X", "Y"], [[["wolf", "X"], "&", [["fox", "Y"], "|", ["grain", "Y"]]], "=>", ["-eats", "X", "Y"]]]},
{"@confidence": 0.7700000000000001, "@name": "pel47_12", "@role": "axiom", "@logic": ["forall", ["X", "Y"], [[["bird", "X"], "&", ["caterpillar", "Y"]], "=>", ["eats", "X", "Y"]]]},
{"@confidence": 0.7800000000000001, "@name": "pel47_13", "@role": "axiom", "@logic": ["forall", ["X", "Y"], [[["bird", "X"], "&", ["snail", "Y"]], "=>", ["-eats", "X", "Y"]]]},
{"@confidence": 0.7900000000000001, "@name": "pel47_14", "@role": "axiom", "@logic": ["forall", ["X"], [[["caterpillar", "X"], "|", ["snail", "X"]], "=>", ["exists", ["Y"], [["plant", "Y"], "&", ["eats", "X", "Y"]]]]]},
{"@confidence": 0.8000000000000002, "@name": "pel47", "@role": "axiom", "@logic": ["forall", ["X", "Y"], [[[["animal", "X"], "&", ["animal", "Y"]], "&", ["exists", ["Z"], [[["grain", "Z"], "&", ["eats", "Y", "Z"]], "&", ["eats", "X", "Y"]]]], "=>", ["found", "X", "Y"]]]},
{"@confidence": 0.8100000000000002, "@name": "q", "@role": "question", "@logic": ["found", "?:X", "?:Y"]}
]