From 68be562bd39c67be0a75107a2c33546ee53b7d49 Mon Sep 17 00:00:00 2001
From: Nick <nickjhiebert@proton.me>
Date: Mon, 9 Dec 2024 04:37:27 -0600
Subject: [PATCH] feat: updated an argument

---
 frontend/src/Debate/Arguments/Helpers.elm     | 15 ++++++++----
 .../Arguments/Inferences/DairyCowRape.elm     | 23 +++++++++----------
 2 files changed, 22 insertions(+), 16 deletions(-)

diff --git a/frontend/src/Debate/Arguments/Helpers.elm b/frontend/src/Debate/Arguments/Helpers.elm
index cf4a920..64c885a 100755
--- a/frontend/src/Debate/Arguments/Helpers.elm
+++ b/frontend/src/Debate/Arguments/Helpers.elm
@@ -76,7 +76,7 @@ argumentMaker : Argument -> Element msg
 argumentMaker argument =
     row
         topLevelBox
-        [ cardImageMaker (argumentImage argument) ""
+        [ cardImageMaker (argumentImage argument) (argumentLink argument)
         , cardMaker
             [ cardTitleMaker argument.argumentTitle
             , cardFormatter
@@ -89,7 +89,8 @@ argumentMaker argument =
                         , strengthMakerDesktop argument
                         , tableMaker argument
                         , desktopFormalizationMaker argument
-                        , proofTreeMaker argument
+
+                        -- , proofTreeMaker argument
                         ]
                     ]
                 ]
@@ -109,7 +110,7 @@ argumentMakerMobile argument =
                     [ column
                         fieldSpacer
                         [ row [ spacing 10, E.width fill ]
-                            [ cardImageMakerMobile (argumentImage argument) ""
+                            [ cardImageMakerMobile (argumentImage argument) (argumentLink argument)
                             , column [ E.width fill ]
                                 [ propositionMakerMobile argument
                                 ]
@@ -119,7 +120,8 @@ argumentMakerMobile argument =
                         , strengthMakerMobile argument
                         , tableMaker argument
                         , mobileFormalizationMaker argument
-                        , proofTreeMaker argument
+
+                        -- , proofTreeMaker argument
                         ]
                     ]
                 ]
@@ -134,6 +136,11 @@ argumentImage argument =
     }
 
 
+argumentLink : Argument -> String
+argumentLink argument =
+    argument.proofLink
+
+
 infoSpacing =
     E.width <| px 100
 
diff --git a/frontend/src/Debate/Arguments/Inferences/DairyCowRape.elm b/frontend/src/Debate/Arguments/Inferences/DairyCowRape.elm
index 77574ea..5ad6f92 100755
--- a/frontend/src/Debate/Arguments/Inferences/DairyCowRape.elm
+++ b/frontend/src/Debate/Arguments/Inferences/DairyCowRape.elm
@@ -5,12 +5,11 @@ import Debate.Arguments.Types exposing (..)
 
 argumentDairyCowRape : Argument
 argumentDairyCowRape =
-    { argumentTitle = "Argument for Dairy Cattle Being Raped"
-    , propositionTitle = "A bull mating with a cow qualifies as rape."
+    { argumentTitle = "Argument for Animal Sex Counting as Rape"
+    , propositionTitle = "An animal mating with another animal qualifies as rape."
     , propositionReductio = ""
-    , propositionSummary = "It's not clear that non-human animal procreation isn't an example of rape if we take sexual interaction in the absence of informed concent to be rape. So, it seems to follow the a bull making with a cow is rape."
-    , proofLink  = "https://www.umsu.de/trees/#(~6x~6y(Px~4(Qxy~1~3Ryx))),(Qae),(~3Rea)|=(Pa)"
-    
+    , propositionSummary = "It's not clear that non-human animal procreation isn't an example of rape if we take sexual interaction in the absence of informed concent to be rape. So, it seems to follow that a bull mating with a cow is rape, for example."
+    , proofLink = "https://www.umsu.de/trees/#(~6x~6y(Px~4(Qxy~1~3Ryx))),(Qae),(~3Rea)|=(Pa)"
     , argumentCertainty = 10
     , argumentImage = "cowrape"
     , definitionTable =
@@ -30,10 +29,10 @@ argumentDairyCowRape =
           , definiens = "an involved party"
           }
         , { definiendum = "a"
-          , definiens = "bulls mating with cows"
+          , definiens = "an animal mating with another animal"
           }
-            , { definiendum = "e"
-          , definiens = "a cow"
+        , { definiendum = "e"
+          , definiens = "another animal"
           }
         ]
     , argumentFormalization =
@@ -41,15 +40,15 @@ argumentDairyCowRape =
                 [ { premise = "An action qualifies as rape if, and only if, the action involves sexual contact with an involved party and the involved party does not render informed consent for the action."
                   , notation = "∀x∀y(Px↔(Qxy∧¬Ryx))"
                   }
-                , { premise = "A bull mating with a cow involves sexual contact with a cow."
+                , { premise = "An animal mating with another animal involves sexual contact with another animal."
                   , notation = "Qae"
                   }
-                , { premise = "A cow does not render informed consent to a bull mating with a cow."
+                , { premise = "Said animal does not render informed consent to an animal mating with them."
                   , notation = "¬Rea"
                   }
                 ]
-          , conclusion = "Therefore, a bull mating with a cow qualifies as rape."
+          , conclusion = "Therefore, an animal mating with another animal qualifies as rape."
           , conclusionNotation = "Pa"
           }
         ]
-    }
\ No newline at end of file
+    }