Context                Previous, Next                Top


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_242_A_TED_TALK_11_1,Z_242_A_TED_TALK_11_14,R_242_5_TO_THINK,R_242_2_HAD_TO_MOVE,Z_242_A_TED_TALK_11_2] :
      ( z_242_a_ted_talk_11_1(Z_242_A_TED_TALK_11_1)
      & nim2(Z_242_A_TED_TALK_11_1,Z_242_A_TED_TALK_11_2)
      & z_242_a_ted_talk_11_14(Z_242_A_TED_TALK_11_14)
      & conj1(Z_242_A_TED_TALK_11_14,R_242_5_TO_THINK)
      & to_think(R_242_5_TO_THINK,Z_242_A_TED_TALK_11_2)
      & conj2(Z_242_A_TED_TALK_11_14,R_242_2_HAD_TO_MOVE)
      & had_to_move(R_242_2_HAD_TO_MOVE,Z_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))