Context-Free Grammars with Complex Categories

• Handling agreement

  ((cat S)) -> (((cat NP) (number ?n)) ((cat VP) (number ?n)))
  ((cat NP) (number ?n)) -> (((cat N) (number ?n))))
  ((cat VP) (number ?n)) -> (((cat V) (arg1 0) (number? n)))
  Willard: ((cat N) (number sing) (lex willard))
  people: ((cat N) (number plur) (lex person))
  dances: ((cat V) (arg1 0) (number sing) (lex dance))
  

• Handling long-distance dependencies

  ((cat S)) -> (((wh t) (cat ?c)) ((cat AUX)) ((cat S) (slash ?c)))
  ((cat S) (slash ?s)) -> (((cat NP)) ((cat VP) (slash ?s)))
  ((cat VP) (slash ?s)) -> (((cat V) (arg1 (NP))) ((cat NP) (slash ?s)))
  ((cat ?c) (slash ?c)) -> 0
  

[L645 Syllabus]