211_a_ted_talk_11
It's really prompted by a conversation I had with a wonderful woman who maybe most people have never heard of, Gillian Lynne.
arc(r_0211_0002___apos_s, r_0211_0004__prompted, scope).
arc(r_0211_0004__prompted, r_0211_0001__It, arg1).
arc(r_0211_0004__prompted, r_0211_0003__really, nim8).
arc(r_0211_0004__prompted, r_0211_0006__a_r_0211_0007__conversation, arg0).
arc(r_0211_0009__had, r_0211_0006__a_r_0211_0007__conversation, arg1).
arc(r_0211_0009__had, r_0211_0008__I, arg0).
arc(r_0211_0009__had, r_0211_0011__a_r_0211_0013__woman, r_0211_0010__with_nim32).
arc(r_0211_0011__a_r_0211_0013__woman, r_0211_0012__wonderful, attrib35).
arc(r_0211_0016__most_quant, r_0211_0017__people, restriction).
arc(r_0211_0016__most_quant, r_0211_0018__have, scope).
arc(r_0211_0018__have, r_0211_0015__maybe, nim44).
arc(r_0211_0018__have, r_0211_0020__heard, scope).
arc(r_0211_0020__heard, r_0211_0011__a_r_0211_0013__woman, r_0211_0021__of_clr63).
arc(r_0211_0020__heard, r_0211_0017__people, arg0).
arc(r_0211_0020__heard, r_0211_0019__never, nim55).
arc(z_000_211_a_ted_talk_11_67, r_0211_0011__a_r_0211_0013__woman, arg0).
arc(z_000_211_a_ted_talk_11_67, r_0211_0023__Gillian_r_0211_0024__Lynne, prd).
fof(formula,axiom,
? [R_211_2__APOS_S_PROMPTED,R_211_1_IT,R_211_3_REALLY,R_211_9_HAD,R_211_8_I,R_211_6_A_CONVERSATION,Z_211_A_TED_TALK_11_67,R_211_11_A_WOMAN,R_211_12_WONDERFUL,R_211_23_GILLIAN_LYNNE] :
( it(R_211_1_IT)
& really(R_211_3_REALLY)
& i(R_211_8_I)
& a_conversation(R_211_6_A_CONVERSATION)
& wonderful(R_211_12_WONDERFUL)
& gillian_Lynne(R_211_23_GILLIAN_LYNNE)
& _apos_s_prompted(R_211_2__APOS_S_PROMPTED,R_211_6_A_CONVERSATION,R_211_1_IT)
& nim8(R_211_2__APOS_S_PROMPTED,R_211_3_REALLY)
& had(R_211_9_HAD,R_211_8_I,R_211_6_A_CONVERSATION)
& with_nim32(R_211_9_HAD,R_211_11_A_WOMAN)
& a_woman(R_211_11_A_WOMAN)
& attrib35(R_211_11_A_WOMAN,R_211_12_WONDERFUL)
& ! [R_211_17_PEOPLE] :
( people(R_211_17_PEOPLE)
=> ? [R_211_18_HAVE_HEARD,R_211_15_MAYBE,R_211_19_NEVER] :
( maybe(R_211_15_MAYBE)
& never(R_211_19_NEVER)
& have_heard(R_211_18_HAVE_HEARD,R_211_17_PEOPLE)
& nim44(R_211_18_HAVE_HEARD,R_211_15_MAYBE)
& nim55(R_211_18_HAVE_HEARD,R_211_19_NEVER)
& of_clr63(R_211_18_HAVE_HEARD,R_211_11_A_WOMAN) ) )
& z_211_a_ted_talk_11_67(Z_211_A_TED_TALK_11_67,R_211_11_A_WOMAN,R_211_23_GILLIAN_LYNNE) ) ).
( (IP-MAT (NP-SBJ;{BOOKTALENT} (PRO It;{it}))
(BEP;_cat_VePASS_ <apos>s;{be})
(IP-PPL-CAT (ADVP-NIM (ADV really;{really}))
(VVN;__ prompted;{prompt})
(PP-LGS (P-ROLE;_lgs_ by;{by})
(NP (D a;{a})
(N conversation;{conversation})
(IP-REL (NP-OB1 *T*)
(NP-SBJ (PRO I;{I}))
(HVD;_Tn_ had;{have})
(PP-NIM (P-ROLE with;{with})
(NP;{GILLIAN} (D a;{a})
(ADJP (ADJ wonderful;{wonderful}))
(N woman;{woman})
(IP-REL (NP-150 (RPRO who;{who}))
(ADVP-NIM (ADV maybe;{maybe}))
(NP-SBJ (Q most;{most})
(NS people;{people}))
(HVP;_cat_Ve_ have;{have})
(IP-PPL-CAT (ADVP-NIM (ADV never;{never}))
(VVN;__ heard;{hear})
(PP-CLR (P-ROLE of;{of})
(NP *ICH*-150))))
(PUNC ,)
(IP-PPL (NP-PRD (NPR Gillian;{Gillian})
(NPR Lynne;{Lynne})))))))))
(PUNC .))
(ID 211_a_ted_talk_11))