:- op(601, xfx, (/)).
:- op(601, xfx, (\)).
:- multifile ccg/2, id/2.
:- discontiguous ccg/2, id/2.

ccg(1,
 ba(s:dcl,
  lx(np, n,
   fa(n,
    t(n/n, 'Most', 'most', 'JJS', 'I-NP', 'O'),
    t(n, 'women', 'woman', 'NNS', 'I-NP', 'O'))),
  t(s:dcl\np, 'work', 'work', 'VBP', 'I-VP', 'O'))).

ccg(2,
 ba(s:dcl,
  lx(np, n,
   fa(n,
    t(n/n, 'Most', 'most', 'JJS', 'I-NP', 'O'),
    t(n, 'women', 'woman', 'NNS', 'I-NP', 'O'))),
  fa(s:dcl\np,
   t((s:dcl\np)/(s:adj\np), 'are', 'be', 'VBP', 'I-VP', 'O'),
   t(s:adj\np, 'rich', 'rich', 'JJ', 'I-ADJP', 'O')))).


ccg(3,
 ba(s:dcl,
  fa(np,
   t(np/n, 'Some', 'some', 'DT', 'I-NP', 'O'),
   t(n, 'woman', 'woman', 'NN', 'I-NP', 'O')),
  ba(s:dcl\np,
   fa(s:dcl\np,
    t((s:dcl\np)/(s:ng\np), 'is', 'be', 'VBZ', 'I-VP', 'O'),
    t(s:ng\np, 'working', 'work', 'VBG', 'I-VP', 'O')),
   conj((s:dcl\np)\(s:dcl\np), s:dcl\np,
    t(conj, 'and', 'and', 'CC', 'O', 'O'),
    fa(s:dcl\np,
     t((s:dcl\np)/(s:adj\np), 'is', 'be', 'VBZ', 'I-VP', 'O'),
     t(s:adj\np, 'rich', 'rich', 'JJ', 'I-ADJP', 'O')))))).

