module Config.Pages.Debate.Arguments.Records.BoobyTrapPagers exposing (argumentBoobyTrapPagers)

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


argumentBoobyTrapPagers : Argument
argumentBoobyTrapPagers =
    { argumentTitle = toTitleCase "Argument Against Israeli Pagers as Booby-Traps"
    , propositionTitle = "The Israeli pagers were not booby-traps."
    , propositionReductio = ""
    , propositionSummary = "Based on the definitions found in the IHL Databases, it's unlikely that the Israeli pager bombs qualify as booby-traps. However, there is sufficient ambiguity in the language that I'm not convinced it's necessarily an analytical truth."
    , proofLink = "https://www.umsu.de/trees/#(~6x(Px~4(Qx~1Rx~1Sx))),(Qp),(Rp),(~3Sp)|=(~3Pp)"
    , argumentCertainty = 4
    , argumentImage = "pagers"
    , argumentHashtags = []
    , isNewTabLink = False
    , definitionTable =
        [ { definiendum = "P(x)"
          , definiens = "(x) is a booby-trap"
          }
        , { definiendum = "Q(x)"
          , definiens = "(x) is a device or material"
          }
        , { definiendum = "R(x)"
          , definiens = "(x) is designed, constructed, or adapted to kill or injure"
          }
        , { definiendum = "S(x)"
          , definiens = "(x) functions (as a device or material that was designed, constructed, or adapted to kill or injure) when a person disturbs or approaches an apparently safe act"
          }
        , { definiendum = "x"
          , definiens = "a device"
          }
        , { definiendum = "p"
          , definiens = "Israeli pagers"
          }
        ]
    , argumentFormalization =
        [ { premises =
                [ { premise = "For all things, a device is a booby-trap if, and only if, the device is a device or material AND the device is designed, constructed, or adapted to kill or injure AND x functions (as a device or material that was designed, constructed, or adapted to kill or injure) when a person disturbs or approaches an apparently safe act."
                  , notation = "∀x(Px↔(Qx∧Rx∧Sx))"
                  }
                , { premise = "The Israeli pagers were devices or materials."
                  , notation = "Qp"
                  }
                , { premise = "The Israeli pagers were designed, constructed, or adapted to kill or injure."
                  , notation = "Rp"
                  }
                , { premise = "The Israeli pagers did not function (as devices or materials that were designed, constructed, or adapted to kill or injure) when a person disturbs or approaches an apparently safe act."
                  , notation = "¬Sp"
                  }
                ]
          , conclusion = "Therefore, the Israeli pagers were not booby-traps."
          , conclusionNotation = "¬Pp"
          }
        ]
    }
