1

I am reading about CCG on page 23 of Speech and Language processing. There is a derivation as follows:

(VP/PP)/NP , VP\((VP/PP)/NP) => VP?

Can anyone example this please? This make sense if 

VP\((VP/PP)/NP) is equivalent to (VP\(VP/PP))/NP

and 

(VP/PP)/NP is equivalent to VP/(PP/NP).

But they seem at least non-trivial from the text!

Any help would be greatly appreciated.

CS

Brian Spiering
  • 20,142
  • 2
  • 25
  • 102
chikitin
  • 153
  • 6
  • Good old categorial grammars, didn't expect to see them here. I don't expect a come back of symbolic methods in NLP anytime soon though. – Erwan Jun 26 '20 at 17:29

1 Answers1

1

I guess I got it. It is simply: 

(X/Y)(Z\(X/Y)) which Z.

In the example, 

X = VP/PP, Y = NP, and Z = VP.
Stephen Rauch
  • 1,783
  • 11
  • 21
  • 34
chikitin
  • 153
  • 6