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_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] 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] 
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_14, r_0242_0002__had, scope).
arc(z_000_242_a_ted_talk_11_14, r_0242_0005__to_r_0242_0006__think, restriction).
arc(z_000_242_a_ted_talk_11_1, z_000_242_a_ted_talk_11_2, nim2).


%3 r_0242_0002__had_r_0242_0003__to_r_0242_0004__move had to move z_000_242_a_ted_talk_11_2 r_0242_0002__had_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_14 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_14->r_0242_0005__to_r_0242_0006__think [conj1] 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_6 Who n242_a_ted_talk_11_8 had n242_a_ted_talk_11_11 to n242_a_ted_talk_11_13 move n242_a_ted_talk_11_17 to n242_a_ted_talk_11_19 think n242_a_ted_talk_11_21 . n242_a_ted_talk_11_1 FRAG n242_a_ted_talk_11_2 NP n242_a_ted_talk_11_1->n242_a_ted_talk_11_2 n242_a_ted_talk_11_20 PUNC n242_a_ted_talk_11_1->n242_a_ted_talk_11_20 n242_a_ted_talk_11_3 IP-REL n242_a_ted_talk_11_2->n242_a_ted_talk_11_3 n242_a_ted_talk_11_4 NP-SBJ n242_a_ted_talk_11_3->n242_a_ted_talk_11_4 n242_a_ted_talk_11_7 HVD;_cat_Vt_ n242_a_ted_talk_11_3->n242_a_ted_talk_11_7 n242_a_ted_talk_11_9 IP-INF-CAT n242_a_ted_talk_11_3->n242_a_ted_talk_11_9 n242_a_ted_talk_11_14 PP-SCON n242_a_ted_talk_11_3->n242_a_ted_talk_11_14 n242_a_ted_talk_11_5 RPRO n242_a_ted_talk_11_4->n242_a_ted_talk_11_5 n242_a_ted_talk_11_5->n242_a_ted_talk_11_6 n242_a_ted_talk_11_7->n242_a_ted_talk_11_8 n242_a_ted_talk_11_10 TO n242_a_ted_talk_11_9->n242_a_ted_talk_11_10 n242_a_ted_talk_11_12 VB;__ n242_a_ted_talk_11_9->n242_a_ted_talk_11_12 n242_a_ted_talk_11_10->n242_a_ted_talk_11_11 n242_a_ted_talk_11_12->n242_a_ted_talk_11_13 n242_a_ted_talk_11_15 IP-INF n242_a_ted_talk_11_14->n242_a_ted_talk_11_15 n242_a_ted_talk_11_16 TO n242_a_ted_talk_11_15->n242_a_ted_talk_11_16 n242_a_ted_talk_11_18 VB;__ n242_a_ted_talk_11_15->n242_a_ted_talk_11_18 n242_a_ted_talk_11_16->n242_a_ted_talk_11_17 n242_a_ted_talk_11_18->n242_a_ted_talk_11_19 n242_a_ted_talk_11_20->n242_a_ted_talk_11_21 
( (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))