Update README.md

Files changed (1) hide show

README.md CHANGED Viewed

@@ -10,7 +10,7 @@ tags:
 widget:
 - text: "translate to nl: all x1.(_explanation(x1) -> -_equal(x1))"
-- text: "translate to fol: All fees are non-refundable."
 model-index:
 - name: t5-small-text2log

 widget:
 - text: "translate to nl: all x1.(_explanation(x1) -> -_equal(x1))"
+- text: "translate to fol: All chains are bad."
 model-index:
 - name: t5-small-text2log