lex(['007'], iL g iu n(t(s(g))), '007').
lex([a], iL g iu (f iu ((s(f) ci iL n(t(s(g)))) in s(f))/cn(s(g))), [lmd, X, [lmd, Y, [xst, Z, [and, [app, X, Z], [app, Y, Z]]]]]).
lex([admire], iL ((br((a ie n(a)) - (g ie n(t(s(g))))) bs s(f))/(a ie n(a))), [up, [lmd, X, [lmd, Y, [app, 'Pres', [app, [app, [dn, admire], X], Y]]]]]).
lex(['And'], iL f iu (s(f)/s(f)), [lmd, X, X]).
lex([and], iL a iu f iu((ee iL A bs ab ab A)/iL A), [mapPhin, [app, s, 0], and]) :- 
      A = s(f)/ue n(a);
      A = br n(a)bs s(f).
lex([and], iL f iu((ee iL s(f)bs ab ab s(f))/iL s(f)), [mapPhin, 0, and]).
lex([and], iL f iu((ee iL A bs ab ab A)/iL A), [mapPhin, [app, s, 0], and]) :- 
      A = s(f)/a ie n(a).
lex([and], iL w iu a iu b iu f iu ((iL A bs ab ab A)/bg bg iL A), [lmd, X, [lmd, Y, [lmd, Z, [and, [app, Y, Z], [app, X, Z]]]]]) :-
      A = (s(f) ci(((br n(a) bs s(f))rio w(w))/n(b)))licn w(w).
lex([and], iL f iu a iu((ee iL A bs ab ab A)/iL A), [mapPhin, [app, s, [app, s, 0]], and]) :- 
      A = (br n(a) bs s(f))/b ie n(b);
      A = ((br n(a) bs s(f))/b ie n(b))bs(br n(a) bs s(f)).
lex([and], iL f iu a iu((iL A bs ab ab A)/iL A), [lmd, X, [lmd, Y, [lmd, Z, [lmd, W, [and, [app, [app, Y, Z], W], [app, [app, X, Z], W]]]]]]) :- 
      A = ((br n(a) bs s(f))/((b ie n(b))+(g ie ((cn(g)/cn(g))iad(cn(g) bs cn(g))))))bs(br n(a) bs s(f)).
lex([and], iL a iu b iu f iu ((ee iL A bs ab ab A)/iL A), [mapPhin, [app, s, [app, s, 0]], and]) :- 
      A = ((br n(a)bs s(f))/(c ie n(c)+cp(b)))bs(br n(a)bs s(f));
      A = (br n(a) bs s(f))/pp(b);
      A = ((br n(a)bs s(f))/(c ie n(c)*pp(b)))bs(br n(a) bs s(f));
      A = (br n(a)bs s(f))/ue n(b).
lex([ate], nL ((br a ie n(a) bs s(f))/a ie n(a)), [up, [lmd, X, [lmd, Y, [app, 'Past', [app, [app, [dn, eat], X], Y]]]]]).
lex([bagels], nL (n(t(p(n)))&cn(p(n))), [up, [pair, [app, gen, [dn, bagels]], [dn, bagels]]]).
lex([barn], nL cn(s(n)), barn).
lex([be], nL ((br w([there]) liu s(b))/a ie n(a)), [up, [lmd, X, [app,
[dn, be], X]]]).
lex([before], iL(a iu f iu ((br n(a) bs s(f))bs (br n(a) bs s(f)))/s(f)), [lmd, X, [lmd, Y, [lmd, Z, [app, [app, before, X], [app, Y, Z]]]]]). 
lex([beginning], nL cn(s(n)), beginning).
lex([believes], nL ((br g ie n(t(s(g))) bs s(f))/(cp(that) iad nL s(f))), [up, [lmd, X, [lmd, Y, [app, 'Pres', [app, [app, [dn, believe], X], Y]]]]]).
lex([bill], iL n(t(s(m))), b).
lex([bond], iL n(t(s(m))), b).
lex([book], nL cn(s(n)), book).
lex([bought], nL ((br a ie n(a) bs s(f))/((a ie n(a))* (a ie n(a)))), [up, [lmd, X, [lmd, Y, [app, 'Past', [app, [app, [app, [dn, buy], [fst, X]], [snd, X]], Y]]]]]).
lex([bought], nL ((br a ie n(a) bs s(f))/a ie n(a)), [up, [lmd, X, [lmd, Y, [app, 'Past', [app, [app, [dn, buy], X], Y]]]]]).
lex([by], iL(a iu (((br n(a) bs s(-))bs (br n(a) bs s(-)))/n(a))), [lmd, X, [lmd, Y, [lmd, Z, [and, [eq, Z, X], [app, Y, Z]]]]]).
lex([by], nL (n iu (cn(n) bs cn(n))/a ie n(a)), [up, [lmd, X, [lmd, Y, [app, [app, [dn, by], X], Y]]]]). 
lex([buys], nL ((br g ie n(t(s(g))) bs s(f))/((a ie n(a))* (a ie n(a)))), [up, [lmd, X, [lmd, Y, [app, 'Pres', [app, [app, [app, [dn, buy], [fst, X]], [snd, X]], Y]]]]]).
lex([calls], nL ((br g ie n(t(s(g))) bs s(f))/a ie ((w([up])lip n(a))iad(n(a)rip w([up])))), [up, [lmd, X, [lmd, Y, [app, [app, [dn, phone], X], Y]]]]).
lex([catch], nL ((br a ie n(a) bs s(b))/a ie n(a)), [up, [lmd, X, [lmd, Y, [app, [app, [dn, catch], X], Y]]]]).
lex([cezanne], iL n(t(s(m))), c).
lex([cd], nL cn(s(n)), cd).
lex([charles], iL n(t(s(m))), c).
lex([clark], iL g iu n(t(s(g))), c).
lex([coffee], nL (n(t(s(n)))&cn(s(n))), [up, [pair, [app, gen, [dn, coffee]], [dn, coffee]]]).
lex([created], nL ((br a ie n(a) bs s(f))/a ie n(a)), [up, [lmd, X, [lmd, Y, [app, 'Past', [app, [app, [dn, create], X], Y]]]]]).
lex([darkness], nL (cn(s(n))&n(t(s(n)))), [up, [pair, [dn, darkness], [app, gen, [dn, darkness]]]]).
lex([deep], nL cn(s(n)), deep).
lex([did], iL a iu g iu b iu h iu ((((br n(a) bs s(g)) ci (br n(b) bs s(h)))/(c ie br n(c) bs s(f)))bs((br n(a) bs s(g))ci(br n(b) bs s(h)))),
[lmd, X, [lmd, Y, [app, [app, X, Y], Y]]]).
lex([did, too], (((br n(_) bs s(_)) ci (br n(_) bs s(_)))/(br n(_) bs s(_)))bs((br n(_) bs s(_))ci(n(_) bs s(_))),
[lmd, X, [lmd, Y, [app, [app, X, Y], Y]]]).
lex([doesnt], iL g iu a iu ((s(g)ci((br n(a)bs s(f))/(br n(a)bs s(b))))in s(g)),
[lmd, X, [not, [app, X, [lmd, Y, [lmd, Z, [app, Y, Z]]]]]]).
lex([dog], nL cn(s(n)), dog).
lex([donuts], nL (n(t(p(n)))&cn(p(n))), [up, [pair, [app, gen, [dn, donuts]], [dn, donuts]]]).
lex([earth], nL cn(s(n)), earth).
lex([eat], nL ((br a ie n(a) bs s(b))/a ie n(a)), [up, [lmd, X, [lmd, Y, [app, [app, [dn, eat], X], Y]]]]).
lex([edinburgh], iL n(t(s(n))), e).
lex([editor], nL (g iu cn(s(g))/pp(of)), editor).
lex([every], iL g iu (f iu ((s(f) ci n(t(s(g)))) in s(f))/cn(s(g))), [lmd, X, [lmd, Y, [all, Z, [imply, [app, X, Z], [app, Y, Z]]]]]).
lex([everyone], nL  f iu ((s(f) ci g iu n(t(g))) in s(f)), [up, [lmd, X, [all, Y, [imply, [app, [dn, person], Y], [app, X, Y]]]]]).
lex([face], nL cn(s(n)), face).
lex([fell], nL (a ie br n(a)bs s(f)), [up, [lmd, X, [app, 'Past', [app, [dn, fall], X]]]]).
lex([filed], nL ((br g ie n(t(s(g))) bs s(f))/a ie n(a)), [up, [lmd, X, [lmd, Y, [app, 'Past', [app, [app, [dn, file], X], Y]]]]]).
lex([finds], nL ((br g ie n(t(s(g))) bs s(f))/a ie n(a)), [up, [lmd, X, [lmd, Y, [app, 'Pres', [app, [app, [dn, find], X], Y]]]]]).
lex([fish], nL cn(s(n)), fish).
lex([for], iL(pp(for)/a ie n(a)), [lmd, X, X]).
lex([form], nL (cn(s(n))&n(t(s(n)))), [up, [pair, [dn, form], [app, gen, [dn, form]]]]).
lex([fortunately], nL f iu (sp s(f)in s(f)), fortunately).
lex([friends], nL (cn(p)/pp(of)), friends).
lex([from], nL ((a iu f iu ((br n(a)bs s(f))bs(br n(a)bs s(f)))&(n iu (cn(n)bs cn(n))))/(b ie n(b))), [up, [lmd, X, [pair, [app, [dn, fromadv], X], [app, [dn, fromadn], X]]]]).
%lex([is], iL((g ie n(t(s(g)))bs s(f))/(g ie (cn(g) bs cn(g)))), [lmd, X, [lmd, Y, [app, [app, X, [lmd, Z, [eq, Z, Y]]], Y]]]).
lex([gave], nL ((br a ie n(a) bs s(f))/(b ie n(b)*pp(to))), [up, [lmd, X, [lmd, Y, [app, 'Past', [app, [app, [app, [dn, give], [snd, X]], [fst, X]], Y]]]]]).
lex([gave], nL ((br g ie n(t(s(g))) bs s(f))/(a ie n(a) rip w([the, cold, shoulder]))), [up, [lmd, X, [lmd, Y, [app, 'Past', [app, [app, [dn, shun], X], Y]]]]]).
lex([gave], nL (((br (a ie n(a)) bs s(f))/(a ie n(a)))/(a ie n(a))), [up, [lmd, X, [lmd, Y, [lmd, Z, [app, 'Past', [app, [app, [app, [dn, give], X], Y], Z]]]]]]).
%lex([gave, 1, the, cold, shoulder], (n(_) bs s(f)) ci n(_), shun).
lex([girl], nL cn(s(f)), girl).
lex([gives], nL ((br g ie n(t(s(g))) bs s(f))/(a ie n(a) rip w([the, cold, shoulder]))), [up, [lmd, X, [lmd, Y, [app, 'Pres', [app, [app, [dn, shun], X], Y]]]]]).
lex(['God'], iL n(t(s(m))), 'God').
lex([good], nL n iu (cn(n)/cn(n)), good).
lex([has], nL ((br g ie n(t(s(g))) bs s(f))/a ie n(a)), [up, [lmd, X, [lmd, Y, [app, 'Pres', [app, [app, [dn, have], X], Y]]]]]).
lex([he], iL ab g iu ((iL s(g) lca iL n(t(s(m))))/(br n(t(s(m))) bs s(g))), [lmd,X,X]).
lex([heaven], nL cn(s(n)), heaven).
lex([her], iL g iu a iu (((br n(a)bs s(g)) ci iL n(t(s(f)))) in (iL (br n(a)bs s(g)) lca iL n(t(s(f))))), [lmd,X,X]).
lex([himself], iL f iu(((br n(t(s(m))) bs s(f))ci n(t(s(m))))in((br n(t(s(m))) bs s(f)))), [lmd, X, [lmd, Y, [app, [app, X, Y], Y]]]).
lex([horse], nL cn(s(n)), horse).
lex([in], nL (a iu f iu((br n(a) bs s(f)) bs (br n(a) bs s(f)))/a ie n(a)), [up, [lmd, X, [lmd, Y, [lmd, Z, [app, [app, [dn, in], X], [app, Y, Z]]]]]]).
lex([in], nL  (f iu (s(f) nd s(f))/ a ie n(a)), in).
lex([is], iL((br g ie n(t(s(g)))bs s(f))/((a ie n(a))+(g ie ((cn(g)/cn(g))iad(cn(g) bs cn(g))
)-i))), [lmd, X, [lmd, Y, [app, 'Pres', [case, X, Z, [eq, Y, Z], W, [app, [app, W, [lmd, U, [eq, U, Y]]], Y]]]]]).
lex([it], iL w([it]), 0).
%lex([it], iL f iu ((s(f) ci iL n(t(s(n)))) in (iL s(f) lca iL n(t(s(n))))), [lmd,X,X]).
lex([it], iL f iu a iu (((br n(a)bs s(f)) ci iL n(t(s(n)))) in (iL (br n(a)bs s(f)) lca iL n(t(s(n))))), [lmd,X,X]).
lex([it], iL ab f iu ((iL s(f) lca iL n(t(s(n))))/(br n(t(s(n))) bs s(f))), 
[lmd,X,X]).
lex([jogs], nL (br g ie n(t(s(g)))bs s(f)), [up, [lmd, X, [app, 'Pres', [app, [dn, jog], X]]]]).
lex([john], iL n(t(s(m))), j).
lex([laughs], nL (br g ie n(t(s(g))) bs s(f)), [up, [lmd, X, [app, 'Pres', [app, [dn, laugh], X]]]]).
lex([left], nL (br g ie n(t(s(g)))bs s(f)), [up, [lmd, X, [app, 'Pres', [app, [dn, leave], X]]]]).
lex([let], nL (s(im)/s(b)), let).
lex([light], nL (cn(s(n))&n(t(s(n)))), [up, [pair, [dn, light], [app, gen, [dn, light]]]]).
lex([likes], nL ((br g ie n(t(s(g))) bs s(f))/a ie n(a)), [up, [lmd, X, [lmd, Y, [app, 'Pres', [app, [app, [dn, like], X], Y]]]]]).
lex([logic], nL (n(t(s(n)))&cn(s(n))), [up, [pair, [app, gen, [dn, logic]], [dn, logic]]]).
lex([london], iL n(t(s(n))), l).
lex([loses], nL ((br g ie n(t(s(g))) bs s(f))/a ie n(a)), [up, [lmd, X, [lmd, Y, [app, 'Pres', [app, [app, [dn, lose], X], Y]]]]]).
lex([love], nL ((br a ie n(a) bs s(b))/a ie n(a)), [up, [lmd, X, [lmd, Y, [app, [app, [dn, love], X], Y]]]]).
lex([loved], nL (a iu (b iu (((br n(a) bs s(-))ci n(b))dp(((br n(a) bs s(-))ci n(b))in(g iu (cn(g)bs cn(g))))))), [up, [pair, [dn, love], [lmd, X, [lmd, Y, [lmd, Z, [and, 
[app, Y, Z], [xst, W, [app, [app, X, Z], W]]]]]]]]).
lex([loves], nL ((br g ie n(t(s(g))) bs s(f))/a ie n(a)), [up, [lmd, X, [lmd, Y, [app, 'Pres', [app, [app, [dn, love], X], Y]]]]]).
lex([man], nL cn(s(m)), man).
lex([mary], iL n(t(s(f))), m).
lex([met], nL ((br a ie n(a)bs s(f))/a ie n(a)), [up, [lmd, X, [lmd, Y, [app, 'Past', [app, [app, [dn, meet], X], Y]]]]]).
lex([more], iL h iu g iu f iu ((s(f) ci Q) in(s(f)/bg(cp(than) ci iL Q))), [lmd, X, [lmd, Y, [more_than, [card, [lmd, Z, [app, X, 
[lmd,P,[lmd,R,[and,[app,P,Z],[app,R,Z]]]]]]], [card, [lmd, Z1, [dn, [app, Y, [lmd, P1, [lmd, Q1, [and, [app, P1, Z1],
[app, Q1, Z1]]]]]]]]]]]) :- Q=((s(h) ci n(t(p(g)))) in s(h))/cn(p(g)).
lex([mountain], nL cn(s(n)), mountain).
lex([moved], nL (br a ie n(a) bs s(f)), [up, [lmd, X, [app, 'Past', [app, [dn, move], X]]]]).
lex([necessarily], iL(s(F)/nL s(F)), 'Nec').
lex([of], nL (((n iu (cn(n) bs cn(n)))/iL (b ie n(b)))&(pp(of)/(a ie n(a)))), [up, [pair, [dn, of], [lmd, X, X]]]).
lex([or], iL f iu ((ee iL s(f)bs ab ab s(f))/iL s(f)), [mapPhin, 0, or]).
lex([or], iL a iu f iu ((ee iL A bs ab ab A)/iL A), [mapPhin, [app, s, 0], or]) :- A = br n(a) bs s(f).
lex([or], iL f iu ((ee iL A bs ab ab A)/iL A), [mapPhin, [app, s, 0], or]) :- 
      A = s(f)/(br g ie n(t(s(g))) bs s(f)).
lex([or], iL a iu f iu((ee iL A bs ab ab A)/iL A), [mapPhin, [app, s, [app, s, [app, s, 0]]], or]) :- 
      A = (((br n(a)) bs s(f))/(b ie n(b)))/(b ie n(b)).
lex([painting], nL (cn(s(n))/pp(of)), [up, [lmd, X, [app, [app, [dn, of], X], [dn, painting]]]]).  
lex([paper], nL cn(s(n)), paper).
lex([park], nL cn(s(n)), park).
lex([past], nL a iu f iu(((br n(a)bs s(f))bs (br n(a)bs s(f)))/(b ie n(b))), [up, [lmd, X, [lmd, Y, [lmd, Z, [app, [app, [dn, past], X], [app, Y, Z]]]]]]).
lex([perseverance], nL (n(t(s(n)))&cn(s(n))), [up, [pair, [app, gen, [dn, perseverance]], [dn, perseverance]]]).
lex([peter], iL n(t(s(m))), p).
lex([phonetics], nL (n(t(s(n)))&cn(s(n))), [up, [pair, [app, gen, [dn, phonetics]], [dn, phonetics]]]).
lex([praises], nL ((br (g ie n(t(s(g)))) bs s(f))/a ie n(a)), [up, [lmd, X, [lmd, Y, [app, 'Pres', [app, [app, [dn, praise], X], Y]]]]]).
lex([raced], nL (br(a ie n(a))bs s(f)), [up, [lmd, X, [app, 'Past', [app, [dn, race], X]]]]).
%lex([raced], ((cn(G)bs cn(G))/(n(A)bs(n(B)bs s(-))))*(n(A)bs(n(B)bs s(-))),
%[pair, [lmd, X, [lmd, Y, [lmd, Z, [and, [app, Y, Z], [xst, W, [app, [app, X, Z], %W]]]]]], race2]).
lex([raced], nL (a iu (b iu (((br n(a) bs s(-))ci n(b))dp(((br n(a) bs s(-))ci n(b))in(g iu (cn(g)bs cn(g))))))), [up, [pair, [dn, race2], [lmd, X, [lmd, Y, [lmd, Z, [and, 
[app, Y, Z], [xst, W, [app, [app, X, Z], W]]]]]]]]).
lex([rains], nL (br w([it]) liu s(f)), [up, [app, 'Pres', [dn, itrains]]]).
lex([reading], nL ((br a ie n(a) bs s(psp))/a ie n(a)), [up, [lmd, X, [lmd, Y, [app, [app, [dn, read], X], Y]]]]).
lex([robin], iL g iu n(t(s(g))), r).
lex([said], nL ((br a ie n(a) bs s(f))/s(im)), [up, [lmd, X, [lmd, Y, [app, 'Past',
[app, [app, [dn, say], X], Y]]]]]).
lex([saw], nL ((br a ie n(a) bs s(f))/(a ie n(a)+cp(that))), [up, [lmd, X, [lmd, Y,
[app, 'Past', [app, [case, X, X1, [app, [dn, seee], X1], X2, [app, [dn, seet], X2]], Y]]]]]).
lex([seeks], nL ((br g ie n(t(s(g))) bs s(f))/nL a iu f iu (((n(a) bs s(f))/b ie n(b)) bs (n(a) bs s(f)))), [up, [lmd, X, [lmd, Y, [app, [app, [dn, tries], [up, [app, [app, [dn, X], [dn, find]], Y]]], Y]]]]).
lex([sees], nL ((br g ie n(t(s(g))) bs s(f))/a ie n(a)), [up, [lmd, X, [lmd, Y, [app, 'Pres', [app, [app, [dn, see], X], Y]]]]]).
lex([sent], nL ((br a ie n(a) bs s(f))/(b ie n(b)*pp(to))), [up, [lmd, X, [lmd, Y, [app, 'Past', [app, [app, [app, [dn, sent], [snd, X]], [fst, X]], Y]]]]]).
lex([sent], nL (((br (a ie n(a)) bs s(f))/(a ie n(a)))/(a ie n(a))), [up, [lmd, X, [lmd, Y, [lmd, Z, [app, 'Past', [app, [app, [app, [dn, send], X], Y], Z]]]]]]).
lex([she], iL ab g iu ((iL s(g) lca iL n(t(s(f))))/(br n(t(s(f))) bs s(g))), [lmd,X,X]).
lex([sings], nL (br g ie n(t(s(g)))bs s(f)), [up, [lmd, X, [app, 'Pres', [app, [dn, sing], X]]]]).
lex([slept], nL (br g ie n(t(s(g)))bs s(f)), [up, [lmd, X, [app, 'Past', [app, [dn, sleep], X]]]]).
lex([slowly], nL a iu f iu(nL (br n(a) bs s(f)) bs (br nL n(a) bs s(f))), [up, [lmd, X, [lmd, Y, [app, [dn, slowly], [up, [app, [dn, X], [dn, Y]]]]]]]).
lex([sneezed], nL (br g ie n(t(s(g)))bs s(f)), [up, [lmd, X, [app, 'Past', [app, [dn, sneeze], X]]]]).
lex([sold], nL ((br a ie n(a) bs s(f))/(b ie n(b)*pp(for))), [up, [lmd, X, [lmd, Y, [app, 'Past', [app, [app, [app, [dn, sell], [snd, X]], [fst, X]], Y]]]]]).
lex([someone], nL  f iu ((s(f) ci iL g iu n(t(g))) in s(f)), [up, [lmd, X, [xst, Y, [and, [app, [dn, person], Y], [app, X, Y]]]]]).
lex(['Spirit'], iL cn(s(m)), 'Spirit').
lex([studies], nL ((br g ie n(t(s(g))) bs s(f))/a ie n(a)), [up, [lmd, X, [lmd, Y, [app, 'Pres', [app, [app, [dn, study], X], Y]]]]]).
lex([such, that], iL n iu ((cn(n) bs cn(n))/(s(f) lca iL n(t(n)))), [lmd, X, [lmd, Y, [lmd, Z, [and, [app, Y, Z], [app, X, Z]]]]]).
lex([suzy], iL n(t(s(f))), s).
lex([talks], nL (br g ie n(t(s(g)))bs s(f)), [up, [lmd, X, [app, 'Pres', [app, [dn, talk], X]]]]).
lex([tall], nL (g iu (cn(g)/cn(g))), tall).
lex([teetotal], nL  n iu (cn(n)/cn(n)), [up, [lmd, X, [lmd, Y, [and, [app, X, Y], [app, [dn, teetotal], Y]]]]]).
lex([tenmilliondollars], iL n(t(s(n))), tenmilliondollars).
lex([than], iL(cp(than)/iL s(f)), [lmd, X, X]).
lex([that], iL(n iu (ab ab (cn(n)bs cn(n))/iL((br n(t(n))iac ue iL n(t(n)))bs s(f)))), [lmd, X, [lmd, Y, [lmd, Z, [and, [app, Y, Z], [app, X, Z]]]]]).
lex([that], iL(cp(that)/iL s(f)), [lmd, X, X]).
%lex([that], (cn(G)bs cn(G))/(s(f)/n(t(G))), [lmd, X, [lmd, Y, [lmd, Z, [and, [app, Y, Z], [app, X, Z]]]]]).
lex([the], iL(n iu (n(t(n))/cn(n))), iota).
lex([the, cold, shoulder], iL w([the, cold, shoulder]), 0).
lex([there], iL w([there]), 0).
lex([thinks], nL ((br g ie n(t(s(g))) bs s(f))/(cp(that)iad nL s(f))), [up, [lmd, X, [lmd, Y, [app, 'Pres', [app, [app, [dn, think], X], Y]]]]]).
lex([to], iL((pp(to)/a ie n(a))iac(n iu ((br n(n) bs s(i))/(br n(n) bs s(b))))), [lmd, X, X]).
lex([today], nL a iu f iu ((br n(a)bs s(f))bs(br n(a)bs s(f))), [up, [lmd, X, [lmd, Y, [app, [dn, today], [app, X, Y]]]]]). 
lex([tries], nL ((br g ie n(t(s(g))) bs s(f))/nL (br g ie n(t(s(g))) bs s(i))), [up, [lmd, X, [lmd, Y, [app, [app, [dn, tries], [up, [app, [dn, X], Y]]], Y]]]]).
lex([unicorn], nL cn(s(n)), unicorn).
lex([up], iL w([up]), 0).
lex([upon], nL ((b iu f iu ((br n(b) bs s(f))bs(br n(b) bs s(f)))&g iu (cn(g) bs cn(g)))/a ie n(a)), [up, [lmd, X, [pair, [app, [dn, uponadv], X], [app, [dn, uponadn], X]]]]).
lex([void], nL g iu (cn(g)/cn(g)), void).
lex([walk], nL (br ((a ie n(a)) - (g ie n(t(s(g))))) bs s(f)), [up, [lmd, X, [app, 'Pres', [app, [dn, walk], X]]]]).
lex([walk], nL (br a ie n(a)bs s(b)), [up, [lmd, X, [app, [dn, walk], X]]]).
lex([walks], nL (br g ie n(t(s(g)))bs s(f)), [up, [lmd, X, [app, 'Pres', [app, [dn, walk], X]]]]).
lex([was], iL((br g ie n(t(s(g)))bs s(f))/((a ie n(a))+(g ie ((cn(g)/cn(g))iad(cn(g) bs cn(g)))-i))), [lmd, X, [lmd, Y, [app, 'Past', [case, X, Z, [eq, Y, Z], W, [app, [app, W, [lmd, U, [eq, U, Y]]], Y]]]]]).
lex([was], nL ((br w([there]) liu s(f))/a ie n(a)), [up, [lmd, X, [app, 'Past', [app, [dn, be], X]]]]).
lex([waters], nL cn(p(n)), waters).
lex([which], iL(n iu m iu ((n(t(n))ci n(t(m)))in (ab ab (cn(m)bs cn(m))/iL((br n(t(n))iac ue iL n(t(n)))bs s(f))))), [lmd, W, [lmd, X, [lmd, Y, [lmd, Z, [and, [app, Y, Z], [app, X, [app, W, Z]]]]]]]).
lex([who], iL (h iu n iu (ab ab (n(t(n))bs((s(h) ci n(t(n)))in s(h)))/iL((br n(t(n))iac ue iL n(t(n)))bs s(f)))), [lmd, X, [lmd, Y, [lmd, Z, [and, [app, X, Y], [app, Z, Y]]]]]).
lex([will], iL a iu((br n(a)bs s(f))/(br n(a)bs s(b))), [lmd, X, [lmd, Y, [app, 'Fut', [app, X, Y]]]]).
lex([without], nL (g iu (cn(g) bs cn(g))/ a ie n(a)), [up, [lmd, X, [lmd, Y, [lmd, Z, [and, [app, Y, Z], [not, [app, [app, [dn, with], X], Z]]]]]]]).
lex([without], iL a iu f iu(ab((br n(a)bs s(f))bs(br n(a)bs s(f)))/(br n(a) bs s(psp))), [lmd, X, [lmd, Y, [lmd, Z, [and, [app, Y, Z], [not, [app, X, Z]]]]]]).
lex([woman], nL cn(s(f)), woman).
lex([yesterday], nL a iu f iu ((br n(a)bs s(f))bs(br n(a)bs s(f))), [up, [lmd, X, [lmd, Y, [app, [dn, yesterday], [app, X, Y]]]]]). 

onecoord(A) :- member(A, []).