Documentation

Linglib.Data.UD.UPOS

Universal Dependencies: part-of-speech tags #

[dMMNZ21]

The seventeen universal part-of-speech tags of UD v2, the word-class vocabulary of the library's tokens (Morphology.Word.cat), with the open, closed, nominal, predicate and modifier classes they fall into.

Official site: https://universaldependencies.org/

source
inductive UD.UPOS :
Type

Universal part-of-speech tags (UPOS).

17 coarse-grained categories designed for cross-linguistic consistency. Every word in every language can be assigned one of these tags.

Instances For
    source
    @[instance_reducible]
    instance UD.instDecidableEqUPOS :
    DecidableEq UPOS
    Equations
    source
    @[instance_reducible]
    instance UD.instReprUPOS :
    Repr UPOS
    Equations
    source
    def UD.instReprUPOS.repr :
    UPOS → ℕ → Std.Format
    Equations
    • UD.instReprUPOS.repr UD.UPOS.ADJ prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "UD.UPOS.ADJ")).group prec✝
    • UD.instReprUPOS.repr UD.UPOS.ADV prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "UD.UPOS.ADV")).group prec✝
    • UD.instReprUPOS.repr UD.UPOS.INTJ prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "UD.UPOS.INTJ")).group prec✝
    • UD.instReprUPOS.repr UD.UPOS.NOUN prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "UD.UPOS.NOUN")).group prec✝
    • UD.instReprUPOS.repr UD.UPOS.PROPN prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "UD.UPOS.PROPN")).group prec✝
    • UD.instReprUPOS.repr UD.UPOS.VERB prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "UD.UPOS.VERB")).group prec✝
    • UD.instReprUPOS.repr UD.UPOS.ADP prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "UD.UPOS.ADP")).group prec✝
    • UD.instReprUPOS.repr UD.UPOS.AUX prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "UD.UPOS.AUX")).group prec✝
    • UD.instReprUPOS.repr UD.UPOS.CCONJ prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "UD.UPOS.CCONJ")).group prec✝
    • UD.instReprUPOS.repr UD.UPOS.DET prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "UD.UPOS.DET")).group prec✝
    • UD.instReprUPOS.repr UD.UPOS.NUM prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "UD.UPOS.NUM")).group prec✝
    • UD.instReprUPOS.repr UD.UPOS.PART prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "UD.UPOS.PART")).group prec✝
    • UD.instReprUPOS.repr UD.UPOS.PRON prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "UD.UPOS.PRON")).group prec✝
    • UD.instReprUPOS.repr UD.UPOS.SCONJ prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "UD.UPOS.SCONJ")).group prec✝
    • UD.instReprUPOS.repr UD.UPOS.PUNCT prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "UD.UPOS.PUNCT")).group prec✝
    • UD.instReprUPOS.repr UD.UPOS.SYM prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "UD.UPOS.SYM")).group prec✝
    • UD.instReprUPOS.repr UD.UPOS.X prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "UD.UPOS.X")).group prec✝
    Instances For
      source
      @[instance_reducible]
      instance UD.instInhabitedUPOS :
      Inhabited UPOS
      Equations
      source
      @[instance_reducible]
      instance UD.instHashableUPOS :
      Hashable UPOS
      Equations
      source
      def UD.instHashableUPOS.hash :
      UPOS → UInt64
      Equations
      Instances For
        source
        def UD.UPOS.toString :
        UPOS → String

        String representation matching UD conventions

        Equations
        Instances For
          source
          @[instance_reducible]
          instance UD.instToStringUPOS :
          ToString UPOS
          Equations
          source
          def UD.UPOS.isOpenClass :
          UPOS → Bool

          Is this an open class (content) word?

          Equations
          Instances For
            source
            def UD.UPOS.isClosedClass :
            UPOS → Bool

            Is this a closed class (function) word?

            Equations
            Instances For
              source
              def UD.UPOS.isNominal :
              UPOS → Bool

              Is this a nominal (entity-denoting) category?

              Equations
              Instances For
                source
                def UD.UPOS.isPredicate :
                UPOS → Bool

                Is this a predicate (event-denoting) category?

                Equations
                Instances For
                  source
                  def UD.UPOS.isModifier :
                  UPOS → Bool

                  Is this a modifier category?

                  Equations
                  Instances For