Update model card.

README.md

@@ -5,10 +5,12 @@ license: "cc-by-sa-4.0"
 datasets:
 - debatelab/aaac
 widget:
-- text: "reason_statements: argument_source: If Peter likes fish, Peter has been to new York. So, Peter has been to New York."
+- text: "reason_statements: argument_source: If Peter likes fish, Peter has been to New York. So, Peter has been to New York."
   example_title: "Premise identification"
-- text: "argdown_reconstruction: argument_source: If Peter likes fish, Peter has been to new York. So, Peter has been to New York."
+- text: "argdown_reconstruction: argument_source: If Peter likes fish, Peter has been to New York. So, Peter has been to New York."
   example_title: "Argdown reconstruction"
+- text: "premises_formalized: reason_statements: If Peter likes fish, Peter has been to New York. (ref: (1))"
+  example_title: "Formalization"
 inference:
   parameters:
     max_length: 80