module Config.Pages.Debate.Arguments.Records.Abortion exposing (argumentAbortion)

import Config.Data.Hashtags.Types exposing (Hashtags(..))
import Config.Helpers.Converters exposing (toTitleCase)
import Config.Pages.Debate.Arguments.Types exposing (Argument)


argumentAbortion : Argument
argumentAbortion =
    { argumentTitle = toTitleCase "Argument Against Sentient Abortions"
    , propositionTitle = "One's whims are not a sufficient justification for the termination of sentient human life."
    , propositionReductio = ""
    , propositionSummary = "Consenting to becoming pregnant, or at least implicitly accepting the risks of pregnancy by engaging in reckless sex, should disqualify one from having the opportunity to a abort a sentient fetus if the pregnancy doesn't pose a significant health risk to the mother."
    , proofLink = "https://www.umsu.de/trees/#(P~2Q~5R),(P),(Q),((R~1F~1~3H)~5M),(F),(~3H),(M~5~3W)%7C=(~3W)"
    , argumentCertainty = 6
    , argumentImage = "abortion"
    , argumentHashtags = [ PoliticsAbortion, PhilosophySentience, PhilosophyEthics ]
    , isNewTabLink = False
    , definitionTable =
        [ { definiendum = "P"
          , definiens = "one consents to becoming pregnant"
          }
        , { definiendum = "Q"
          , definiens = "one consensually engages in sexual activity without contraception"
          }
        , { definiendum = "R"
          , definiens = "one is implicitly committed to at least accepting the average risks for the average pregnancy"
          }
        , { definiendum = "F"
          , definiens = "one's pregnancy persists long enough for fetal sentience to develop"
          }
        , { definiendum = "H"
          , definiens = "one's risk profile during pregnancy is high"
          }
        , { definiendum = "M"
          , definiens = "one is morally bound to carrying the pregnancy to term"
          }
        , { definiendum = "W"
          , definiens = "one's whims are a sufficient justification for the termination of sentient human life"
          }
        ]
    , argumentFormalization =
        [ { premises =
                [ { premise = "If one consents to becoming pregnant or one consensually engages in sexual activity without contraception, then one is implicitly committed to at least accepting the average risks for the average pregnancy."
                  , notation = "P∨Q→R"
                  }
                , { premise = "One consents to becoming pregnant."
                  , notation = "P"
                  }
                , { premise = "One consensually engages in sexual activity without contraception."
                  , notation = "Q"
                  }
                , { premise = "If one is implicitly committed to at least accepting the average risks for the average pregnancy and one's pregnancy persists long enough for fetal sentience to develop and one's risk profile during pregnancy is not high, then one is morally bound to carrying the pregnancy to term."
                  , notation = "R∧F∧¬H→M"
                  }
                , { premise = "One's pregnancy persists long enough for fetal sentience to develop."
                  , notation = "F"
                  }
                , { premise = "One's risk profile during pregnancy is not high."
                  , notation = "¬H"
                  }
                , { premise = "If one is morally bound to carrying the pregnancy to term, then one's whims are not a sufficient justification for the termination of sentient human life."
                  , notation = "M→¬W"
                  }
                ]
          , conclusion = "Therefore, one's whims are not a sufficient justification for the termination of sentient human life."
          , conclusionNotation = "¬W"
          }
        ]
    }
