(.module:
  [lux #*
   [data
    ["." text
     ["%" format (#+ format)]]]]
  [//
   ["_" term]
   [//
    ["$" document]]])

(def: #export acceptance
  (let [abilities (: (List Text)
                     (list "use"
                           "copy"
                           "distribute"
                           "modify"
                           (format "create an " _.extension
                                   " of either " _.work
                                   " or any " _.extension
                                   " created by a " _.contributor)))
        acknowledgement (format _.recipient
                                " is not required to accept " _.license
                                " since " _.recipient
                                " has not signed it")
        limitation (format "However, nothing else grants " _.recipient
                           " permission to " ($.or abilities))
        warning (format "These actions are prohibited by law if " _.recipient
                        " does not accept " _.license)
        implicit-acceptance (let [activation-condition "by performing any of these actions"
                                  acceptance (format _.recipient
                                                     " indicates that " _.recipient
                                                     " accepts " _.license)
                                  agreement (format _.recipient " agrees to be bound by all its terms and conditions")]
                              (format "Therefore, " activation-condition ", " ($.and (list acceptance agreement))))
        prohibition-due-to-non-agreement (format "If " _.recipient
                                                 " does not agree with all the terms and conditions of " _.license
                                                 ", " _.recipient " can not " ($.or abilities))
        prohibition-due-to-impossibility (format "If it is impossible for " _.recipient
                                                 " to comply with all the terms and conditions of " _.license
                                                 ", then " _.recipient
                                                 " can not " ($.or abilities))]
    ($.paragraph (list acknowledgement
                       limitation
                       warning
                       implicit-acceptance
                       prohibition-due-to-non-agreement
                       prohibition-due-to-impossibility))))

(def: #export grant
  ($.paragraph (list (format "The licenses granted in this document are the only rights granted under " _.license)
                     (format "No additional rights or licenses will be implied from the distribution or licensing of " _.work
                             " under " _.license)
                     (format "No patent license is granted by a " _.contributor
                             " for any code that the " _.contributor
                             " has removed from " _.work))))

(def: identifiers
  (List Text)
  (list "trade names"
        "trademarks"
        "service marks"
        "product names"
        "logos"))

(def: #export trademark
  ($.paragraph (list (format _.license " does not grant any permission to use the " ($.or ..identifiers)
                             " of any " _.contributor
                             "; except as required for reasonable and customary use in describing the origin of "
                             _.work))))

(def: #export secondary-licenses
  ($.paragraph (list (format "No " _.contributor
                             " makes additional grants as a result of a choice by " _.recipient
                             " to distribute " _.work
                             " under a under the terms of a " _.secondary-license))))