1 2 3 4 5 6 7 8 9 10 11
abstract PmcfgDiff = { cat S ; NP ; fun Use : NP -> S ; Pair : NP -> NP -> S ; One : NP ; Two : NP ; }