module Config.Pages.Debate.Arguments.Records.HealthSeeker exposing (argumentHealthSeeker)

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


argumentHealthSeeker : Argument
argumentHealthSeeker =
    { argumentTitle = toTitleCase "Ancestral Health Consistency Checker"
    , propositionTitle = "If someone (who favours consuming ancestral foods to the exclusion of novel foods because they value reducing disease risk) is not in favour of consuming a novel food (that reduces disease risk when replacing an ancestral food), then that person would be acting against their values."
    , propositionReductio = ""
    , propositionSummary = "If someone values consuming ancestral foods over novel foods because they have the overall value of reducing disease risk, but a novel food reduces disease risk when replacing an ancestral food, they would be acting against their values by rejecting the novel food."
    , proofLink = "https://www.umsu.de/trees/#(~7x(Px)~1~7y(Qy)~5~6x~6y(~3Rxy~5Sx)),(~7x(Px)),(~7y(Qy))|=(~6x~6y(~3Rxy~5Sx))"
    , argumentCertainty = 10
    , argumentImage = "healthseeker"
    , argumentHashtags = []
    , isNewTabLink = False
    , definitionTable =
        [ { definiendum = "P(x)"
          , definiens = "(x) favours consuming ancestral foods to the exclusion of (y) because they value reducing disease risk"
          }
        , { definiendum = "Q(y)"
          , definiens = "(y) reduces disease risk when replacing an ancestral food"
          }
        , { definiendum = "R(x,y)"
          , definiens = "(x) is in favour of consuming that (y)"
          }
        , { definiendum = "S(x)"
          , definiens = "(x) would be acting against their values"
          }
        , { definiendum = "x"
          , definiens = "someone"
          }
        , { definiendum = "y"
          , definiens = "novel food"
          }
        ]
    , argumentFormalization =
        [ { premises =
                [ { premise = "If there exists someone who favours consuming ancestral foods to the exclusion of novel foods because they value reducing disease risk, and there exists a novel food that reduces disease risk when replacing an ancestral food, then if that person is not in favour of consuming that novel food, then that person would be acting against their values."
                  , notation = "∃x(Px)∧∃y(Qy)→∀x∀y(¬Rxy→Sx)"
                  }
                , { premise = "There exists someone who favours consuming ancestral foods to the exclusion of novel foods because they value reducing disease risk."
                  , notation = "∃x(Px)"
                  }
                , { premise = "There exists a novel food that reduces disease risk when replacing an ancestral food."
                  , notation = "∃y(Qy)"
                  }
                ]
          , conclusion = "Therefore, if that person is not in favour of consuming that novel food, then that person would be acting against their values."
          , conclusionNotation = "∀x∀y(¬Rxy→Sx)"
          }
        ]
    }
