Treebank Non-Projectivity Data

@cite{kuhlmann-nivre-2006} @cite{kuhlmann-2013}

Empirical data on non-projective structures in dependency treebanks.

Sources

• @cite{kuhlmann-nivre-2006}. Mildly Non-Projective Dependency Structures. COLING/ACL 2006, Table 1.
• @cite{kuhlmann-2013}. Mildly Non-Projective Dependency Grammar. Computational Linguistics 39(2), Tables 3-4.

structure Phenomena.WordOrder.NonProjectivity.TreebankCoverage : Type

Treebank coverage data from @cite{kuhlmann-nivre-2006}, Table 1. Percentages scaled x100 for Nat arithmetic.

• name : String
• totalTrees : Nat
• gapDeg0 : Nat

  Percentage x100 of trees at each gap degree

• gapDeg1 : Nat
• gapDeg2 : Nat
• wellNested : Nat

  Percentage x100 of well-nested trees

• planar : Nat

  Percentage x100 of planar trees

instance Phenomena.WordOrder.NonProjectivity.instReprTreebankCoverage : Repr TreebankCoverage

Equations

• Phenomena.WordOrder.NonProjectivity.instReprTreebankCoverage = { reprPrec := Phenomena.WordOrder.NonProjectivity.instReprTreebankCoverage.repr }

def Phenomena.WordOrder.NonProjectivity.instReprTreebankCoverage.repr : TreebankCoverage → Nat → Std.Format

Equations

• One or more equations did not get rendered due to their size.

def Phenomena.WordOrder.NonProjectivity.pdt : TreebankCoverage

Equations

• Phenomena.WordOrder.NonProjectivity.pdt = { name := "Prague Dependency Treebank", totalTrees := 73088, gapDeg0 := 7685, gapDeg1 := 2272, gapDeg2 := 42, wellNested := 9989, planar := 8216 }

def Phenomena.WordOrder.NonProjectivity.ddt : TreebankCoverage

Equations

• Phenomena.WordOrder.NonProjectivity.ddt = { name := "Danish Dependency Treebank", totalTrees := 4393, gapDeg0 := 8495, gapDeg1 := 1489, gapDeg2 := 16, wellNested := 9989, planar := 8641 }

structure Phenomena.WordOrder.NonProjectivity.LCFRSCoverage : Type

@cite{kuhlmann-2013} Table 3: rule/tree loss under fan-out bounds. Five languages from the CoNLL 2006 shared task.

• name : String
• totalRules : Nat
• totalTrees : Nat
• rulesLostFanout1 : Nat

  Rules lost at fan-out = 1 (projective only)

• treesLostFanout1 : Nat

  Trees lost at fan-out = 1

• rulesLostFanout2 : Nat

  Rules lost at fan-out <= 2

• treesLostFanout2 : Nat

  Trees lost at fan-out <= 2

• rulesLostWN : Nat

  Rules lost when also requiring well-nestedness (with fan-out <= 2)

• treesLostWN : Nat

  Trees lost when also requiring well-nestedness

instance Phenomena.WordOrder.NonProjectivity.instReprLCFRSCoverage : Repr LCFRSCoverage

Equations

• Phenomena.WordOrder.NonProjectivity.instReprLCFRSCoverage = { reprPrec := Phenomena.WordOrder.NonProjectivity.instReprLCFRSCoverage.repr }

def Phenomena.WordOrder.NonProjectivity.instReprLCFRSCoverage.repr : LCFRSCoverage → Nat → Std.Format

Equations

• One or more equations did not get rendered due to their size.

def Phenomena.WordOrder.NonProjectivity.arabic : LCFRSCoverage

Equations

• One or more equations did not get rendered due to their size.

def Phenomena.WordOrder.NonProjectivity.czech : LCFRSCoverage

Equations

• One or more equations did not get rendered due to their size.

def Phenomena.WordOrder.NonProjectivity.danish : LCFRSCoverage

Equations

• One or more equations did not get rendered due to their size.

def Phenomena.WordOrder.NonProjectivity.slovene : LCFRSCoverage

Equations

• One or more equations did not get rendered due to their size.

def Phenomena.WordOrder.NonProjectivity.turkish : LCFRSCoverage

Equations

• One or more equations did not get rendered due to their size.