Grammar Engineering with LKB and the LinGO Grammar Matrix:
Glossary

To the reader

These pages have been prepared in the context of Linguistics 471, "Grammar Engineering", at the University of Washington. They may well be of use to other people using the LKB (Copestake 2002), and in particular those using the Grammar Matrix. Keep in mind when reading these pages that type, feature, and file names used are particular to the context in which they were written.

For more on the LKB, see Copestake, Ann. 2002. Implementing Typed Feature Structure Grammars. Stanford: CSLI Publications.

I'm also working on a list of frequently asked questions (with answers :-).

I welcome suggestions for new topics to cover and corrections to the content presented here. I can be reached on the web here, or by email at ebender at u dot washington dot edu.

Symbols

• # (hash)
• ,
• .
• [ ]
• < >
• < ! ! >
• &
• :=
• :+
• "
• ;
• ...

A

• Adjunct
• Agreement
• Aspect

B

• Buffer

C

• Case
• CAT
• Chart
• COMPS
• Complement
• CONT
• Coref

D

• Declare (a feature)
• Difference list

E

• Edge (see also lexical edge, spanning edge)
• emacs

F

• Feature
• Feature structure (include outermost feature structure)
• FIRST
• FORM

G

H

• Handle
• Handle constraint
• HCONS
• Head
• Head daughter
• HEAD
• HOOK
• HPSG

I

• Identity constraint
• INDEX
• INFLECTED
• Interactive unification

J

K

L

• LAST
• Lexeme
• Lexeme-to-lexeme rule
• Lexeme-to-word rule
• Lexical edge
• LIGHT
• LinGO
• Lisp
• LIST
• LKB
• LOCAL
• LTOP

M

• Matrix (see Grammar Matrix)
• MOD
• Modifier
• MOOD

N

• NON-HEAD-DTR
• NON-LOCAL
• Null

O

P

• Parse
• Parse chart (see chart)
• Path (name)

Q

• qeq

R

• relation
• RELS
• REST
• Root condition

S

• Scope
• Sign
• Span
• Spanning edge
• SPEC
• Specifier
• SPR
• Subtype
• Supertype
• SYNSEM

T

• TAM
• tdl
• Tense
• Type

U

• Underspecification
• Unification

V

• VAL
• Valence

W

X

• XARG

Y

Z