feat: reformatted arguments

frontend/src/Debate/Arguments/Philosophy/Agnosticism.elm

@@ -9,7 +9,7 @@ argumentAgnosticism =
     , propositionTitle = "An interlocutor (who cannot unpack what evidence would lead them to change their doxastic attitude on a proposition) should temporarily withhold the belief that the proposition at hand is true."
     , propositionReductio = ""
     , propositionSummary = "Summary"
-    , proofLink  = "https://www.umsu.de/trees/#(~6x~6y(~3Pxy~5~3Qxy)),(~6x~6y(~3Qxy~5Rxy)),(~3Por)|=(Ror)"
+    , proofLink = "https://www.umsu.de/trees/#(~6x~6y(~3Pxy~5~3Qxy)),(~6x~6y(~3Qxy~5Rxy)),(~3Por)|=(Ror)"
     , definitionTable =
         [ { definiendum = "P(x,y)"
           , definiens = "(x) can unpack what evidence would lead them to change their doxastic attitude on (y)"
@@ -20,6 +20,12 @@ argumentAgnosticism =
         , { definiendum = "R(x,y)"
           , definiens = "(x) should temporarily withhold the belief that (y) is true"
           }
+        , { definiendum = "x"
+          , definiens = "a person"
+          }
+        , { definiendum = "y"
+          , definiens = "a proposition"
+          }
         , { definiendum = "o"
           , definiens = "the interlocutor"
           }
@@ -43,4 +49,4 @@ argumentAgnosticism =
           , conclusionNotation = "(∴Ror)"
           }
         ]
-    }
+    }

frontend/src/Debate/Arguments/Philosophy/AgriculturalPredation.elm

@@ -9,7 +9,7 @@ argumentAgriculturalPredation =
     , propositionTitle = "Animal agriculture counts as predation."
     , propositionReductio = ""
     , propositionSummary = "Summary"
-    , proofLink  = "https://www.umsu.de/trees/#(~6x~6y~6z(Px~4Qxyz~1(Rxyz~2Sxyz)~1Wxyz)),(Qahl),(Rahl~2Sahl),(Wahl)%7C=(Pa)"
+    , proofLink = "https://www.umsu.de/trees/#(~6x~6y~6z(Px~4Qxyz~1(Rxyz~2Sxyz)~1Wxyz)),(Qahl),(Rahl~2Sahl),(Wahl)%7C=(Pa)"
     , definitionTable =
         [ { definiendum = "P(x)"
           , definiens = "(x) counts as predation"
@@ -26,16 +26,24 @@ argumentAgriculturalPredation =
         , { definiendum = "W(x,y,z)"
           , definiens = "(x) involves a (y) regularly consuming, to the captor's benefit, a (z)"
           }
+        , { definiendum = "x"
+          , definiens = "an action"
+          }
+        , { definiendum = "y"
+          , definiens = "an animal"
+          }
+        , { definiendum = "z"
+          , definiens = "another animal"
+          }
         , { definiendum = "a"
           , definiens = "animal agriculture"
           }
-          , { definiendum = "h"
+        , { definiendum = "h"
           , definiens = "humans"
           }
-          , { definiendum = "l"
+        , { definiendum = "l"
           , definiens = "livestock"
           }
-
         ]
     , argumentFormalization =
         [ { premises =
@@ -56,4 +64,4 @@ argumentAgriculturalPredation =
           , conclusionNotation = "(∴Pa)"
           }
         ]
-    }
+    }

frontend/src/Debate/Arguments/Philosophy/AntiRewilding.elm

@@ -26,8 +26,8 @@ argumentAntiRewilding =
         , { definiendum = "x"
           , definiens = "a being"
           }
-        , { definiendum = "sentient animals"
-          , definiens = "a"
+        , { definiendum = "a"
+          , definiens = "sentient animals"
           }
         ]
     , argumentFormalization =

frontend/src/Debate/Arguments/Philosophy/EthicalSlurs.elm

@@ -26,6 +26,9 @@ argumentEthicalSlurs =
         , { definiendum = "W(x)"
           , definiens = "it is generally permissible to use the term retard with an altered non-bigoted meaning"
           }
+        , { definiendum = "x"
+          , definiens = "a slur"
+          }
         , { definiendum = "r"
           , definiens = "retard"
           }