[
{"@role": "axiom", "@logic": ["forall", ["X"], [["wolf", "X"], "=>", ["animal", "X"]]], "@name": "pel47_1_1", "@confidence": 1.0},
{"@role": "axiom", "@logic": ["exists", ["X1"], ["wolf", "X1"]], "@name": "pel47_1_2", "@confidence": 1.0},
{"@role": "axiom", "@logic": ["forall", ["X"], [["fox", "X"], "=>", ["animal", "X"]]], "@name": "pel47_2_1", "@confidence": 1.0},
{"@role": "axiom", "@logic": ["exists", ["X1"], ["fox", "X1"]], "@name": "pel47_2_2", "@confidence": 1.0},
{"@role": "axiom", "@logic": ["forall", ["X"], [["bird", "X"], "=>", ["animal", "X"]]], "@name": "pel47_3_1", "@confidence": 1.0},
{"@role": "axiom", "@logic": ["exists", ["X1"], ["bird", "X1"]], "@name": "pel47_3_2", "@confidence": 1.0},
{"@role": "axiom", "@logic": ["forall", ["X"], [["caterpillar", "X"], "=>", ["animal", "X"]]], "@name": "pel47_4_1", "@confidence": 1.0},
{"@role": "axiom", "@logic": ["exists", ["X1"], ["caterpillar", "X1"]], "@name": "pel47_4_2", "@confidence": 1.0},
{"@role": "axiom", "@logic": ["forall", ["X"], [["snail", "X"], "=>", ["animal", "X"]]], "@name": "pel47_5_1", "@confidence": 1.0},
{"@role": "axiom", "@logic": ["exists", ["X1"], ["snail", "X1"]], "@name": "pel47_5_2", "@confidence": 1.0},
{"@role": "axiom", "@logic": ["exists", ["X"], ["grain", "X"]], "@name": "pel47_6_1", "@confidence": 1.0},
{"@role": "axiom", "@logic": ["forall", ["X1"], [["grain", "X1"], "=>", ["plant", "X1"]]], "@name": "pel47_6_2", "@confidence": 1.0},
{"@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"]]]]]], "@name": "pel47_7", "@confidence": 1.0},
{"@role": "axiom", "@logic": ["forall", ["X", "Y"], [[["bird", "Y"], "&", [["snail", "X"], "|", ["caterpillar", "X"]]], "=>", ["much_smaller", "X", "Y"]]], "@name": "pel47_8", "@confidence": 1.0},
{"@role": "axiom", "@logic": ["forall", ["X", "Y"], [[["bird", "X"], "&", ["fox", "Y"]], "=>", ["much_smaller", "X", "Y"]]], "@name": "pel47_9", "@confidence": 1.0},
{"@role": "axiom", "@logic": ["forall", ["X", "Y"], [[["fox", "X"], "&", ["wolf", "Y"]], "=>", ["much_smaller", "X", "Y"]]], "@name": "pel47_10", "@confidence": 1.0},
{"@role": "axiom", "@logic": ["forall", ["X", "Y"], [[["wolf", "X"], "&", [["fox", "Y"], "|", ["grain", "Y"]]], "=>", ["-eats", "X", "Y"]]], "@name": "pel47_11", "@confidence": 1.0},
{"@role": "axiom", "@logic": ["forall", ["X", "Y"], [[["bird", "X"], "&", ["caterpillar", "Y"]], "=>", ["eats", "X", "Y"]]], "@name": "pel47_12", "@confidence": 1.0},
{"@role": "axiom", "@logic": ["forall", ["X", "Y"], [[["bird", "X"], "&", ["snail", "Y"]], "=>", ["-eats", "X", "Y"]]], "@name": "pel47_13", "@confidence": 1.0},
{"@role": "axiom", "@logic": ["forall", ["X"], [[["caterpillar", "X"], "|", ["snail", "X"]], "=>", ["exists", ["Y"], [["plant", "Y"], "&", ["eats", "X", "Y"]]]]], "@name": "pel47_14", "@confidence": 1.0},
{"@role": "axiom", "@logic": ["forall", ["X", "Y"], [[[["animal", "X"], "&", ["animal", "Y"]], "&", ["exists", ["Z"], [[["grain", "Z"], "&", ["eats", "Y", "Z"]], "&", ["eats", "X", "Y"]]]], "=>", ["found", "X", "Y"]]], "@name": "pel47", "@confidence": 1.0},
{"@role": "question", "@logic": ["found", "?:X", "?:Y"], "@name": "q", "@confidence": 1.0}
]