Documentation

Linglib.Theories.Syntax.Minimalism.Derivations

Minimalist Derivations #

Minimalist Program derivations using the Fragments lexicon, expressed as Derivation structures with step-by-step Merge operations.

Architecture #

Fragments/English/... → Lexical entries (VerbEntry, PronounEntry, etc.) ↓ Theories/Minimalism/FromFragments → Interpretation: Entry → SyntacticObject ↓ Theories/Minimalism/Derivations → Minimalist derivations (this file)

source
def Minimalism.Phenomena.Derivations.john_sees_mary :
Derivation

"John sees Mary": [S John [VP sees Mary]]

Equations
  • One or more equations did not get rendered due to their size.
Instances For
    source
    def Minimalism.Phenomena.Derivations.mary_eats_pizza :
    Derivation

    "Mary eats pizza": [S Mary [VP eats pizza]]

    Equations
    • One or more equations did not get rendered due to their size.
    Instances For
      source
      def Minimalism.Phenomena.Derivations.he_sees_her :
      Derivation

      "He sees her": [S he [VP sees her]]

      Equations
      • One or more equations did not get rendered due to their size.
      Instances For
        source
        def Minimalism.Phenomena.Derivations.the_cat_eats_pizza :
        Derivation

        "The cat eats pizza": [S [DP the cat] [VP eats pizza]]

        Equations
        • One or more equations did not get rendered due to their size.
        Instances For
          source
          theorem Minimalism.Phenomena.Derivations.john_sees_mary_phon :
          john_sees_mary.final.phonYield = ["John", "sees", "Mary"]
          source
          theorem Minimalism.Phenomena.Derivations.mary_eats_pizza_phon :
          mary_eats_pizza.final.phonYield = ["Mary", "eats", "pizza"]
          source
          theorem Minimalism.Phenomena.Derivations.he_sees_her_phon :
          he_sees_her.final.phonYield = ["he", "sees", "her"]
          source
          theorem Minimalism.Phenomena.Derivations.the_cat_eats_pizza_phon :
          the_cat_eats_pizza.final.phonYield = ["the", "cat", "eats", "pizza"]
          source
          def Minimalism.Phenomena.Derivations.john_sleeps :
          Derivation

          "John sleeps": [S John sleeps]

          Equations
          Instances For
            source
            def Minimalism.Phenomena.Derivations.mary_arrives :
            Derivation

            "Mary arrives": [S Mary arrives]

            Equations
            Instances For
              source
              def Minimalism.Phenomena.Derivations.john_devours_pizza :
              Derivation

              "John devours pizza": [S John [VP devours pizza]]

              Equations
              • One or more equations did not get rendered due to their size.
              Instances For
                source
                def Minimalism.Phenomena.Derivations.mary_sees_john :
                Derivation

                "Mary sees John": [S Mary [VP sees John]]

                Equations
                • One or more equations did not get rendered due to their size.
                Instances For
                  source
                  def Minimalism.Phenomena.Derivations.john_gives_mary_book :
                  Derivation

                  "John gives Mary the book": [S John [VP [V' gives book] Mary]]

                  Equations
                  • One or more equations did not get rendered due to their size.
                  Instances For
                    source
                    theorem Minimalism.Phenomena.Derivations.john_sleeps_phon :
                    john_sleeps.final.phonYield = ["John", "sleeps"]
                    source
                    theorem Minimalism.Phenomena.Derivations.mary_arrives_phon :
                    mary_arrives.final.phonYield = ["Mary", "arrives"]
                    source
                    theorem Minimalism.Phenomena.Derivations.john_devours_pizza_phon :
                    john_devours_pizza.final.phonYield = ["John", "devours", "pizza"]
                    source
                    theorem Minimalism.Phenomena.Derivations.mary_sees_john_phon :
                    mary_sees_john.final.phonYield = ["Mary", "sees", "John"]
                    source
                    theorem Minimalism.Phenomena.Derivations.john_gives_mary_book_phon :
                    john_gives_mary_book.final.phonYield = ["John", "gives", "book", "Mary"]