str(dwp('(7-7)'), [b([john]), walks], s(f)).
str(dwp('(7-16)'), [b([every, man]), talks], s(f)).
str(dwp('(7-19)'), [b([the, fish]), walks], s(f)).
str(dwp('(7-32)'), [b([every, man]), b([b([walks, or, talks])])], s(f)).
str(dwp('(7-34)'), [b([b([b([every, man]), walks, or, b([every, man]), talks])])], s(f)).
str(dwp('(7-39)'), [b([b([b([a, woman]), walks, and, b([she]), talks])])], s(f)).
str(dwp('(7-43, 45)'), [b([john]), believes, that, b([a, fish]), walks], s(f)). 
str(dwp('(7-48, 49, 52)'), [b([every, man]), believes, that, b([a, fish]), walks], s(f)).
str(dwp('(7-57)'), [b([every, fish, such, that, b([it]), walks]), talks], s(f)).
str(dwp('(7-60, 62)'), [b([john]), seeks, a, unicorn], s(f)).
str(dwp('(7-73)'), [b([john]), is, bill], s(f)).
str(dwp('(7-76)'), [b([john]), is, a, man], s(f)).
str(dwp('(7-83)'), [necessarily, b([john]), walks], s(f)).
str(dwp('(7-86)'), [b([john]), walks, slowly], s(f)).
str(dwp('(7-91)'), [b([john]), tries, to, walk], s(f)).
%str(dwp('(7-94)'), [b([john]), tries, to, b([b([catch, a, fish, and, eat, it])])], s(f)).
str(dwp('(7-98)'), [b([john]), finds, a, unicorn], s(f)).
str(dwp('(7-105)'), [b([every, man, such, that, b([he]), loves, a, woman]), loses, her], s(f)).
str(dwp('(7-110)'), [b([john]), walks, in, a, park], s(f)).
str(dwp('(7-116, 118)'), [b([every, man]), doesnt, walk], s(f)).

str(1, [b([john]), walks], s(f)).
str(2, [b([john]), loves, mary], s(f)).
str(3, [b([john]), thinks, b([mary]), walks], s(f)).
str(4, [b([mary]), believes, b([john]), thinks, b([mary]), walks], s(f)).
str(5, [b([mary]), buys, john, coffee], s(f)).
str(6, [man, loved], cn(s(m))).
str(7, [b([john]), is, loved], s(f)).
str(8, [b([john]), is, loved, by, mary], s(f)).
str(9, [b([the, man]), walks], s(f)).
str(10, [b([the, man]), loves, the, woman], s(f)).
str(11, [man, b([b([that, walks])])], cn(s(m))).
str(12, [b([the, man, b([b([that, walks])])]), talks], s(f)).
str(13, [b([the, man, b([b([that, loves, mary])])]), walks], s(f)).
str(14, [b([the, man, b([b([that, b([mary]), loves])])]), walks], s(f)).
str(15, [b([the, man, b([b([that, b([john]), thinks, b([mary]), loves])])]), walks], s(f)).
str(16, [b([the, horse]), raced, past, the, barn], s(f)).
str(17, [b([the, horse, raced, past, the, barn]), fell], s(f)).

str(18, [b([john]), walks, from, edinburgh], s(f)).
str(19, [b([the, man, from, edinburgh]), walks], s(f)).

str(20, [b([bond]), is, '007'], s(f)).
str(21, [b([bond]), is, teetotal], s(f)).
str(22, [b([bond]), is, b([b(['007', and, teetotal])])], s(f)).
str(23, [b([bond]), is, b([b([teetotal, and, '007'])])], s(f)).
str(24, [b([bond]), is, b([b([tall, and, '007'])])], s(f)).

str(tdc(43), [b([mary]), gave, the, man, the, cold, shoulder], s(f)).
str(tdc(4343), [b([mary]), gave, john, the, cold, shoulder], s(f)).
str(tdc(47), [b([john]), gave, every, book, to, mary], s(f)).
str(tdc(50), [b([mary]), thinks, b([someone]), left], s(f)).
str(tdc(53), [b([everyone]), loves, someone], s(f)).
str(tdc(54), [dog, b([b([that, b([mary]), saw, today])])], cn(s(n))).
str(tdc('58a'), [b([john]), slept, before, b([mary]), did], s(f)).
%str(tdc('58b'), [john, slept, and, mary, did, too], s(f)).
str(tdc(64), [mountain, b([b([the, painting, of, which, by, cezanne, b([john]), sold, for, tenmilliondollars])])], cn(s(n))).
%str(56, [thesis, the, height, of, the, lettering, on, the, first, line, of, the, second, page, of, the, third, chapter, of, which, is, '0.5cm'], cn(n)).
str(tdc(67), [b([john, b([b([who, jogs])])]), sneezed], s(f)).
str(tdc('70a'), [fortunately, b([john]), has, perseverance], s(f)).
str(tdc('70b'), [b([john]), fortunately, has, perseverance], s(f)).
str(tdc('70c'), [b([john]), has, fortunately, perseverance], s(f)).
str(tdc('70d'), [b([john]), has, perseverance, fortunately], s(f)).
%str(tdc(73), [b([b([b([john]), studies, logic, and, b([charles]), phonetics])])], s(f)).
str(tdc(75), [b([john]), ate, more, donuts, than, b([mary]), bought, bagels], s(f)).
str(tdc('86a'), [b([john]), bought, himself, coffee], s(f)).
%str(65, [dorothy, bet, the, straw, man, half, of, himself, that, she, would, reach, emerald, city, first], s).

str(w(1), [b([it]), rains], s(f)).
str(w(2), [b([mary]), gives, peter, the, cold, shoulder], s(f)).
str(w('3a'), [b([mary]), calls, peter, up], s(f)).
str(w('3b'), [b([mary]), calls, up, peter], s(f)).
%str(w('4a'), [b([b([b([peter]), sees, mary, and, b([robin]), clark])])], s(f)).
%str(w('4b'), [b([b([b([peter]), calls, up, mary, and, b([robin]), clark])])], s(f)).
%str(w('4c'), [b([b([b([peter]), calls, mary, up, and, b([robin]), clark])])], s(f)).
%str(w('4d'), [b([b([b([peter]), gives, mary, the, cold, shoulder, and, b([robin]), clark])])], s(f)).

str(eac(rel(6)), [man, b([b([that, walks])])], cn(s(m))).
str(eac(rel(7)), [man,b([b([that,b([mary]),likes])])], cn(s(m))).
str(eac(rel(eight(a))), [b([john]), likes, the, man], s(f)).
str(eac(rel(eight(b))), [b([mary]), thinks, that, b([john]), likes, the, man], s(f)).
str(eac(rel(eight(c))), [b([suzy]), believes, that, b([mary]), thinks, that, b([john]), likes, the, man], s(f)).
str(eac(rel(eight(d))), [man, b([b([that, b([john]), likes])])], cn(s(m))).
str(eac(rel(eight(e))), [man, b([b([that, b([mary]), thinks, that, b([john]), likes])])], cn(s(m))).
str(eac(rel(eight(f))), [man, b([b([that, b([suzy]), believes, that, b([mary]), thinks, that, b([john]), likes])])], cn(s(m))).
str(eac(rel(eight(g))), [b([b([b([mary]), talks, and, b([bill]), sings])])], s(f)).
str(eac(rel(eight(h))), [b([b([b([john]), walks, b([mary]), talks, and, b([bill]), sings])])], s(f)).
str(eac(rel(eight(i))), [b([b([b([suzy]), laughs, b([john]), walks, b([mary]), talks, and, b([bill]), sings])])], s(f)).
str(eac(rel(eight(j))), [b([b([b([bill]), walks, b([suzy]), laughs, b([john]), walks, b([mary]), talks, and, b([bill]), sings])])], s(f)).
str(eac(rel(eight(k))), [b([b([b([suzy]), talks, b([bill]), walks, b([suzy]), laughs, b([john]), walks, b([mary]), talks, and, b([bill]), sings])])], s(f)).
str(eac(rel(eight(l))), [b([b([b([john]), sings, b([suzy]), talks, b([bill]), walks, b([suzy]), laughs, b([john]), walks, b([mary]), talks, and, b([bill]), sings])])], s(f)).
str(eac(rel(9)), [man,b([b([that,b([mary]),likes,today])])], cn(s(m))).
str(eac(rel(10)), [man, that, b([the, friends, of]), walk], cn(s(m))).
str(eac(rel(11)), [man, b([b([that, the, friends, of, admire])])], cn(s(m))).
str(eac(rel(12)), [paper, b([b([that, b([john]), filed, without, reading])])], cn(s(n))). 
%str(rel(13), [paper, b([b([that, the, editor, of, filed, without, reading])])], cn(s(n))). 

str(eac(crd(14)), [b([b([b([john]), praises, mary, and, b([john]), laughs])])], s(f)).
str(eac(crd(15)), [b([john]), b([b([praises, mary, and, laughs])])], s(f)).
str(eac(crd(16)), [b([john]), b([b([likes, and, will, love])]), london], s(f)).
str(eac(crd(17)), [b([john]), b([b([gave, or, sent])]), mary, the, book], s(f)).
str(eac(crd(18)), [b([b([b([john]), or, b([mary])])]), sings], s(f)).
str(eac(crd(19)), [b([john]), loves, b([b([mary, and, himself])])], s(f)).
str(eac(crd(20)), [b([b([b([john]), likes, and, b([mary]), loves])]), london], s(f)).
str(eac(crd(21)), [b([john]), b([b([gave, the, book, and, sent, the, cd])]), to, mary], s(f)).
str(eac(crd(22)), [b([john]), gave, b([b([the, book, to, mary, and, the, cd, to, suzy])])], s(f)).
str(eac(crd(23)), [b([john]), saw, b([b([mary, today, and, bill, yesterday])])], s(f)).
str(crd(24), [man, b([b([that, b([b([b([john]), saw, yesterday, and, b([bill]), saw, today])])])])], cn(s(m))).
%str(crd(25), [man, b([b([that, b([john]), b([b([saw, yesterday, and, met, today])])])])], cn(s(m))).
str(eac(crd(26)), [b([b([b([john]), walks, b([mary]), talks, and, b([bill]), sings])])], s(f)).
str(eac(crd(27)), [b([john]), b([b([walks, talks, and, sings])])], s(f)).
str(eac(crd(28)), [b([john]), b([b([praises, likes, and, will, love])]), london], s(f)).

str(atb(1), [man, b([b([that, b([b([b([john]), likes, and, b([mary]), loves])])])])], cn(s(m))).

str(atb(2), [man, b([b([that, b([mary]), b([b([loves, and, praises])])])])], cn(s(m))).

str(gen(one(1)), [in, the, beginning, b(['God']), created, b([b([the, heaven, and, the, 
earth])])], s(f)).

%str(gen(one('2'(a))), ['And', b([b([b([the, earth]), was, b([b([without, form, and, void])]), and, b([darkness]), was, upon, the, face, of, the, deep])])], s(f)). 

str(gen(one('2'(a(i)))), [b([the, earth]), was, b([b([without, form, and, void])])], s(f)).

str(gen(one('2'(a(ii)))), [b([darkness]), was, upon, the, face, of, the, deep], s(f)). 

str(gen(one('2'(b))), ['And', b([the, 'Spirit', of, 'God']), moved, upon,
the, face, of, the, waters], s(f)).

str(gen(one(3)), ['And', b([b([b(['God']), said, let, b([there]), be, light,
and, b([there]), was, light])])], s(f)).

%str(gen(one('4'(a))), ['And', b(['God']), saw, b([b([the, light, and, that, b([it]), was, good])])], s(f)).

%str(gen(one('4'(aa))), ['And', b(['God']), saw, b([b([the, light,
%and, that, b([the, light]), was, good])])], s(f)).

% str(gen(one('4'(b))), [b(['God']), divided, the, light, from, the, darkness], s(f)).

% str(gen(one('5'(a))), ['And', b([b([b(['God']), called, the, light, day, and, the, darkness, he, called, night])])], s(f)).