new

app.py

@@ -23,10 +23,12 @@ demo = gr.Interface(fn=logic,
                     examples=[
                         'ALLx. Student(x) IMPLY Smart(x)',
                         'EXISTx. TShirt(x) AND Buy(Adam, x)',
-                        'ALLx. Animal(x) AND Fluffy(x) IMPLY Rabbit(x) OR Sheep(x)'
+                        'ALLx. (Animal(x) AND Fluffy(x)) IMPLY (Rabbit(x) OR Sheep(x))',
+                        '(GoDowntown(James) AND NOTCarry(James, Bag)) EQUIV Buy(James, Book)'
                     ],
                     title="Logic Translator",
-                    description="∧:AND, ∨:OR, ¬:NOT, →:IMPLY, ↔:EQUIV, ∀:ALL, ∃:EXIST",
+                    description="Type English for logic symbols!     \
+                                ∧:AND, ∨:OR, ¬:NOT, →:IMPLY, ↔:EQUIV, ∀:ALL, ∃:EXIST",
                     live=True)
 
 demo.launch(share=True)