159_a_ted_talk_11
Grown men and women writhing uncontrollably, off the beat. Waiting until it ends so they can go home and write a paper about it.
arc(r_0159_0003__and, r_0159_0001__Grown, attrib4).
arc(r_0159_0003__and, r_0159_0002__men, conj1).
arc(r_0159_0003__and, r_0159_0004__women, conj2).
arc(r_0159_0005__writhing, r_0159_0003__and, arg0).
arc(r_0159_0005__writhing, r_0159_0006__uncontrollably, nim21).
arc(r_0159_0005__writhing, r_0159_0009__the_r_0159_0010__beat, r_0159_0008__off_nim29).
arc(r_0159_0012__Waiting, r_0159_0003__and, arg0).
arc(r_0159_0013__until, r_0159_0012__Waiting, scope).
arc(r_0159_0013__until, r_0159_0015__ends, restriction).
arc(r_0159_0015__ends, r_0159_0014__it, arg0).
arc(r_0159_0016__so, r_0159_0013__until, scope).
arc(r_0159_0016__so, r_0159_0018__can, restriction).
arc(r_0159_0018__can, r_0159_0021__and, scope).
arc(r_0159_0019__go, r_0159_0003__and, arg0).
arc(r_0159_0019__go, r_0159_0020__home, clr63).
arc(r_0159_0021__and, r_0159_0019__go, conj1).
arc(r_0159_0021__and, r_0159_0022__write, conj2).
arc(r_0159_0022__write, r_0159_0003__and, arg0).
arc(r_0159_0022__write, r_0159_0023__a_r_0159_0024__paper, arg1).
arc(r_0159_0022__write, r_0159_0026__it, r_0159_0025__about_nim80).
arc(z_000_159_a_ted_talk_11_1, z_000_159_a_ted_talk_11_17, prd).
arc(z_000_159_a_ted_talk_11_17, r_0159_0005__writhing, conj1).
arc(z_000_159_a_ted_talk_11_17, r_0159_0016__so, conj2).
fof(formula,axiom,
? [Z_159_A_TED_TALK_11_1,Z_159_A_TED_TALK_11_17,R_159_5_WRITHING,R_159_6_UNCONTROLLABLY,R_159_9_THE_BEAT,R_159_16_SO,R_159_13_UNTIL,R_159_15_ENDS,R_159_14_IT,R_159_12_WAITING,R_159_3_AND,R_159_1_GROWN,R_159_2_MEN,R_159_4_WOMEN] :
( uncontrollably(R_159_6_UNCONTROLLABLY)
& the_beat(R_159_9_THE_BEAT)
& it(R_159_14_IT)
& grown(R_159_1_GROWN)
& men(R_159_2_MEN)
& women(R_159_4_WOMEN)
& z_159_a_ted_talk_11_1(Z_159_A_TED_TALK_11_1)
& prd(Z_159_A_TED_TALK_11_1,Z_159_A_TED_TALK_11_17)
& z_159_a_ted_talk_11_17(Z_159_A_TED_TALK_11_17)
& conj1(Z_159_A_TED_TALK_11_17,R_159_5_WRITHING)
& writhing(R_159_5_WRITHING,R_159_3_AND)
& and(R_159_3_AND)
& attrib4(R_159_3_AND,R_159_1_GROWN)
& conj1(R_159_3_AND,R_159_2_MEN)
& conj2(R_159_3_AND,R_159_4_WOMEN)
& nim21(R_159_5_WRITHING,R_159_6_UNCONTROLLABLY)
& off_nim29(R_159_5_WRITHING,R_159_9_THE_BEAT)
& conj2(Z_159_A_TED_TALK_11_17,R_159_16_SO)
& so(R_159_16_SO)
& conj1(R_159_16_SO,R_159_18_CAN)
& ~ ? [R_159_21_AND,R_159_19_GO,R_159_20_HOME,R_159_22_WRITE,R_159_23_A_PAPER,R_159_26_IT] :
( home(R_159_20_HOME)
& a_paper(R_159_23_A_PAPER)
& it(R_159_26_IT)
& and(R_159_21_AND)
& conj1(R_159_21_AND,R_159_19_GO)
& go(R_159_19_GO,R_159_3_AND)
& clr63(R_159_19_GO,R_159_20_HOME)
& conj2(R_159_21_AND,R_159_22_WRITE)
& write(R_159_22_WRITE,R_159_3_AND,R_159_23_A_PAPER)
& about_nim80(R_159_22_WRITE,R_159_26_IT) )
& conj2(R_159_16_SO,R_159_13_UNTIL)
& until(R_159_13_UNTIL)
& conj1(R_159_13_UNTIL,R_159_15_ENDS)
& ends(R_159_15_ENDS,R_159_14_IT)
& conj2(R_159_13_UNTIL,R_159_12_WAITING)
& waiting(R_159_12_WAITING,R_159_3_AND) ) ).
( (FRAG (IP-PPL-PRD (NP-SBJ;{PROFESSORS} (ADJP (ADJ Grown;{grown}))
(NLYR (NLYR (NS men;{man}))
(CONJP (CONJ and;{and})
(NLYR (NS women;{woman})))))
(ILYR (ILYR (VAG;_I_ writhing;{writhe})
(ADVP-NIM (ADV uncontrollably;{uncontrollably}))
(PUNC ,)
(PP-NIM (P-ROLE off;{off})
(NP (D the;{the})
(N beat;{beat}))))
(PUNC .)
(CONJP (ILYR (VAG;_I_ Waiting;{wait})
(PP-SCON (P-CONN until;{until})
(IP-ADV (NP-SBJ;{DANCE} (PRO it;{it}))
(VBP;_I_ ends;{end})))
(PP-SCON (P-CONN so;{so})
(IP-ADV (NP-SBJ;{PROFESSORS} (PRO they;{they}))
(MD;_cat_Vi_ can;{can})
(IP-INF-CAT (ILYR (ILYR (VB;_Ip_ go;{go[home]})
(ADVP-CLR (RP home;{home})))
(CONJP (CONJ and;{and})
(ILYR (VB;_Tn_ write;{write})
(NP-OB1 (D a;{a})
(N paper;{paper}))
(PP-NIM (P-ROLE about;{about})
(NP;{DANCE} (PRO it;{it})))))))))))))
(PUNC .))
(ID 159_a_ted_talk_11))