242_a_ted_talk_11
Who had to move to think.
arc(r_0242_0002__had, r_0242_0003__to_r_0242_0004__move, scope).
arc(r_0242_0003__to_r_0242_0004__move, z_000_242_a_ted_talk_11_2, arg0).
arc(r_0242_0005__to_r_0242_0006__think, z_000_242_a_ted_talk_11_2, arg0).
arc(z_000_242_a_ted_talk_11_1, z_000_242_a_ted_talk_11_2, nim2).
arc(z_000_242_a_ted_talk_11_14, r_0242_0002__had, scope).
arc(z_000_242_a_ted_talk_11_14, r_0242_0005__to_r_0242_0006__think, restriction).
fof(formula,axiom,
? [Z_000_242_A_TED_TALK_11_2,Z_000_242_A_TED_TALK_11_1,R_0242_0002__HAD_R_0242_0003__TO_R_0242_0004__MOVE,R_0242_0005__TO_R_0242_0006__THINK,Z_000_242_A_TED_TALK_11_14] :
( z_000_242_a_ted_talk_11_2(Z_000_242_A_TED_TALK_11_2)
& z_000_242_a_ted_talk_11_14(Z_000_242_A_TED_TALK_11_14)
& has_conj1(Z_000_242_A_TED_TALK_11_14,R_0242_0005__TO_R_0242_0006__THINK)
& r_0242_0005__to_r_0242_0006__think(R_0242_0005__TO_R_0242_0006__THINK)
& has_arg0(R_0242_0005__TO_R_0242_0006__THINK,Z_000_242_A_TED_TALK_11_2)
& has_conj2(Z_000_242_A_TED_TALK_11_14,R_0242_0002__HAD_R_0242_0003__TO_R_0242_0004__MOVE)
& r_0242_0002__had_r_0242_0003__to_r_0242_0004__move(R_0242_0002__HAD_R_0242_0003__TO_R_0242_0004__MOVE)
& has_arg0(R_0242_0002__HAD_R_0242_0003__TO_R_0242_0004__MOVE,Z_000_242_A_TED_TALK_11_2)
& z_000_242_a_ted_talk_11_1(Z_000_242_A_TED_TALK_11_1)
& has_nim2(Z_000_242_A_TED_TALK_11_1,Z_000_242_A_TED_TALK_11_2) ) ).
( (FRAG (NP (IP-REL (NP-SBJ (RPRO Who;{who}))
(HVD;_cat_Vt_ had;{have})
(IP-INF-CAT (TO to;{to})
(VB;__ move;{move}))
(PP-SCON (IP-INF (TO to;{to})
(VB;__ think;{think})))))
(PUNC .))
(ID 242_a_ted_talk_11))