34_a_ted_talk_11
Just seeing what she could do.
arc(r_0034_0002__seeing, r_0034_0001__Just, nim3).
arc(r_0034_0002__seeing, x_000_34_a_ted_talk_11_2, arg0).
arc(r_0034_0002__seeing, z_000_34_a_ted_talk_11_8, arg1).
arc(r_0034_0005__could, r_0034_0006__do, scope).
arc(r_0034_0006__do, r_0034_0004__she, arg0).
arc(r_0034_0006__do, z_000_34_a_ted_talk_11_8, arg1).
arc(z_000_34_a_ted_talk_11_1, r_0034_0002__seeing, prd).
fof(formula,axiom,
? [R_34_5_COULD_DO,R_34_4_SHE,Z_34_A_TED_TALK_11_1,R_34_2_SEEING,X_34_A_TED_TALK_11_2,Z_34_A_TED_TALK_11_8,R_34_1_JUST] :
( she(R_34_4_SHE)
& just(R_34_1_JUST)
& could_do(R_34_5_COULD_DO,R_34_4_SHE,Z_34_A_TED_TALK_11_8)
& z_34_a_ted_talk_11_1(Z_34_A_TED_TALK_11_1)
& prd(Z_34_A_TED_TALK_11_1,R_34_2_SEEING)
& seeing(R_34_2_SEEING,X_34_A_TED_TALK_11_2,Z_34_A_TED_TALK_11_8)
& nim3(R_34_2_SEEING,R_34_1_JUST) ) ).
( (FRAG (IP-PPL-PRD (ADVP-NIM (ADV Just;{just}))
(VAG;_Tn_ seeing;{see})
(NP-OB1 (IP-REL (NP-165 (RPRO what;{what}))
(NP-SBJ;{SIRENA} (PRO she;{she}))
(MD;_cat_Vi_ could;{can})
(IP-INF-CAT (NP-OB1 *ICH*-165)
(DO;_Tn_ do;{do})))))
(PUNC .))
(ID 34_a_ted_talk_11))