242_a_ted_talk_11
Who had to move to think.

%3 r_0242_0002__had had r_0242_0003__to_r_0242_0004__move to move r_0242_0002__had->r_0242_0003__to_r_0242_0004__move [scope] z_000_242_a_ted_talk_11_2 r_0242_0003__to_r_0242_0004__move->z_000_242_a_ted_talk_11_2 [arg0] r_0242_0005__to_r_0242_0006__think to think r_0242_0005__to_r_0242_0006__think->z_000_242_a_ted_talk_11_2 [arg0] z_000_242_a_ted_talk_11_1 z_000_242_a_ted_talk_11_1->z_000_242_a_ted_talk_11_2 [nim] z_000_242_a_ted_talk_11_14 z_000_242_a_ted_talk_11_14->r_0242_0002__had [scope] z_000_242_a_ted_talk_11_14->r_0242_0005__to_r_0242_0006__think [restriction]
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).



%3 z_000_242_a_ted_talk_11_14 r_0242_0005__to_r_0242_0006__think to think z_000_242_a_ted_talk_11_14->r_0242_0005__to_r_0242_0006__think [conj1] r_0242_0002__had_r_0242_0003__to_r_0242_0004__move had to move z_000_242_a_ted_talk_11_14->r_0242_0002__had_r_0242_0003__to_r_0242_0004__move [conj2] z_000_242_a_ted_talk_11_2 r_0242_0005__to_r_0242_0006__think->z_000_242_a_ted_talk_11_2 [arg0] r_0242_0002__had_r_0242_0003__to_r_0242_0004__move->z_000_242_a_ted_talk_11_2 [arg0] z_000_242_a_ted_talk_11_1 z_000_242_a_ted_talk_11_1->z_000_242_a_ted_talk_11_2 [nim]
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) ) ).



n242_a_ted_talk_11 n242_a_ted_talk_11__1_1_1_1_1_1 Who n242_a_ted_talk_11__1_1_1_2_1 had n242_a_ted_talk_11__1_1_1_3_1_1 to n242_a_ted_talk_11__1_1_1_3_2_1 move n242_a_ted_talk_11__1_1_1_4_1_1_1 to n242_a_ted_talk_11__1_1_1_4_1_2_1 think n242_a_ted_talk_11__1_2_1 . n242_a_ted_talk_11__1 FRAG n242_a_ted_talk_11__1_1 NP n242_a_ted_talk_11__1->n242_a_ted_talk_11__1_1 n242_a_ted_talk_11__1_2 PUNC n242_a_ted_talk_11__1->n242_a_ted_talk_11__1_2 n242_a_ted_talk_11__1_1_1 IP-REL n242_a_ted_talk_11__1_1->n242_a_ted_talk_11__1_1_1 n242_a_ted_talk_11__1_1_1_1 NP-SBJ n242_a_ted_talk_11__1_1_1->n242_a_ted_talk_11__1_1_1_1 n242_a_ted_talk_11__1_1_1_2 HVD;_cat_Vt_ n242_a_ted_talk_11__1_1_1->n242_a_ted_talk_11__1_1_1_2 n242_a_ted_talk_11__1_1_1_3 IP-INF-CAT n242_a_ted_talk_11__1_1_1->n242_a_ted_talk_11__1_1_1_3 n242_a_ted_talk_11__1_1_1_4 PP-SCON n242_a_ted_talk_11__1_1_1->n242_a_ted_talk_11__1_1_1_4 n242_a_ted_talk_11__1_1_1_1_1 RPRO n242_a_ted_talk_11__1_1_1_1->n242_a_ted_talk_11__1_1_1_1_1 n242_a_ted_talk_11__1_1_1_1_1->n242_a_ted_talk_11__1_1_1_1_1_1 n242_a_ted_talk_11__1_1_1_2->n242_a_ted_talk_11__1_1_1_2_1 n242_a_ted_talk_11__1_1_1_3_1 TO n242_a_ted_talk_11__1_1_1_3->n242_a_ted_talk_11__1_1_1_3_1 n242_a_ted_talk_11__1_1_1_3_2 VB;__ n242_a_ted_talk_11__1_1_1_3->n242_a_ted_talk_11__1_1_1_3_2 n242_a_ted_talk_11__1_1_1_3_1->n242_a_ted_talk_11__1_1_1_3_1_1 n242_a_ted_talk_11__1_1_1_3_2->n242_a_ted_talk_11__1_1_1_3_2_1 n242_a_ted_talk_11__1_1_1_4_1 IP-INF n242_a_ted_talk_11__1_1_1_4->n242_a_ted_talk_11__1_1_1_4_1 n242_a_ted_talk_11__1_1_1_4_1_1 TO n242_a_ted_talk_11__1_1_1_4_1->n242_a_ted_talk_11__1_1_1_4_1_1 n242_a_ted_talk_11__1_1_1_4_1_2 VB;__ n242_a_ted_talk_11__1_1_1_4_1->n242_a_ted_talk_11__1_1_1_4_1_2 n242_a_ted_talk_11__1_1_1_4_1_1->n242_a_ted_talk_11__1_1_1_4_1_1_1 n242_a_ted_talk_11__1_1_1_4_1_2->n242_a_ted_talk_11__1_1_1_4_1_2_1 n242_a_ted_talk_11__1_2->n242_a_ted_talk_11__1_2_1
( (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))