ggbetz commited on
Commit
7a757bb
·
verified ·
1 Parent(s): d782d54

Update README.md

Browse files
Files changed (1) hide show
  1. README.md +1 -0
README.md CHANGED
@@ -270,6 +270,7 @@ Formalization of conclusion (4): p -> not u
270
  OK, please ointegrate your formalization as inline data into the argdown argument reconstruction.
271
 
272
  🤖 **Assistant**
 
273
  ```argdown
274
  (1) If school uniforms are worn by all students, then competition among students over clothing choices is eliminated. {"formalization": "p -> q", "keys": {"p": "school uniforms are worn by all students", "q": "competition among students over clothing choices is eliminated"}}
275
  (2) Students are competing with each other about their clothing choices and peer pressure and bullying are a problem in schools. {"formalization": "r & s", "keys": {"r": "students are competing with each other about their clothing choices", "s": "peer pressure and bullying are a problem in schools"}}
 
270
  OK, please ointegrate your formalization as inline data into the argdown argument reconstruction.
271
 
272
  🤖 **Assistant**
273
+
274
  ```argdown
275
  (1) If school uniforms are worn by all students, then competition among students over clothing choices is eliminated. {"formalization": "p -> q", "keys": {"p": "school uniforms are worn by all students", "q": "competition among students over clothing choices is eliminated"}}
276
  (2) Students are competing with each other about their clothing choices and peer pressure and bullying are a problem in schools. {"formalization": "r & s", "keys": {"r": "students are competing with each other about their clothing choices", "s": "peer pressure and bullying are a problem in schools"}}