Context                Previous, Next                Top


241_a_ted_talk_11
People who had to move to think.”

%3 r_0241_0003__had had r_0241_0004__to_r_0241_0005__move to move r_0241_0003__had->r_0241_0004__to_r_0241_0005__move [scope] r_0241_0001__People People r_0241_0004__to_r_0241_0005__move->r_0241_0001__People [arg0] r_0241_0006__to_r_0241_0007__think to think r_0241_0006__to_r_0241_0007__think->r_0241_0001__People [arg0] z_000_241_a_ted_talk_11_16 z_000_241_a_ted_talk_11_16->r_0241_0003__had [scope] z_000_241_a_ted_talk_11_16->r_0241_0006__to_r_0241_0007__think [restriction] z_000_241_a_ted_talk_11_1 z_000_241_a_ted_talk_11_1->r_0241_0001__People [nim] 
arc(r_0241_0003__had, r_0241_0004__to_r_0241_0005__move, scope).
arc(r_0241_0004__to_r_0241_0005__move, r_0241_0001__People, arg0).
arc(r_0241_0006__to_r_0241_0007__think, r_0241_0001__People, arg0).
arc(z_000_241_a_ted_talk_11_16, r_0241_0003__had, scope).
arc(z_000_241_a_ted_talk_11_16, r_0241_0006__to_r_0241_0007__think, restriction).
arc(z_000_241_a_ted_talk_11_1, r_0241_0001__People, nim2).


%3 r_0241_0003__had_r_0241_0004__to_r_0241_0005__move had to move r_0241_0001__People People r_0241_0003__had_r_0241_0004__to_r_0241_0005__move->r_0241_0001__People [arg0] r_0241_0006__to_r_0241_0007__think to think r_0241_0006__to_r_0241_0007__think->r_0241_0001__People [arg0] z_000_241_a_ted_talk_11_16 z_000_241_a_ted_talk_11_16->r_0241_0003__had_r_0241_0004__to_r_0241_0005__move [conj2] z_000_241_a_ted_talk_11_16->r_0241_0006__to_r_0241_0007__think [conj1] z_000_241_a_ted_talk_11_1 z_000_241_a_ted_talk_11_1->r_0241_0001__People [nim] 
fof(formula,axiom,
    ? [Z_241_A_TED_TALK_11_1,Z_241_A_TED_TALK_11_16,R_241_6_TO_THINK,R_241_3_HAD_TO_MOVE,R_241_1_PEOPLE] :
      ( people(R_241_1_PEOPLE)
      & z_241_a_ted_talk_11_1(Z_241_A_TED_TALK_11_1)
      & nim2(Z_241_A_TED_TALK_11_1,R_241_1_PEOPLE)
      & z_241_a_ted_talk_11_16(Z_241_A_TED_TALK_11_16)
      & conj1(Z_241_A_TED_TALK_11_16,R_241_6_TO_THINK)
      & to_think(R_241_6_TO_THINK,R_241_1_PEOPLE)
      & conj2(Z_241_A_TED_TALK_11_16,R_241_3_HAD_TO_MOVE)
      & had_to_move(R_241_3_HAD_TO_MOVE,R_241_1_PEOPLE) ) ).


n241_a_ted_talk_11 n241_a_ted_talk_11_4 People n241_a_ted_talk_11_8 who n241_a_ted_talk_11_10 had n241_a_ted_talk_11_13 to n241_a_ted_talk_11_15 move n241_a_ted_talk_11_19 to n241_a_ted_talk_11_21 think n241_a_ted_talk_11_23 . n241_a_ted_talk_11_25 <rdquo> n241_a_ted_talk_11_1 FRAG n241_a_ted_talk_11_2 NP n241_a_ted_talk_11_1->n241_a_ted_talk_11_2 n241_a_ted_talk_11_22 PUNC n241_a_ted_talk_11_1->n241_a_ted_talk_11_22 n241_a_ted_talk_11_24 PURQ n241_a_ted_talk_11_1->n241_a_ted_talk_11_24 n241_a_ted_talk_11_3 NS n241_a_ted_talk_11_2->n241_a_ted_talk_11_3 n241_a_ted_talk_11_5 IP-REL n241_a_ted_talk_11_2->n241_a_ted_talk_11_5 n241_a_ted_talk_11_3->n241_a_ted_talk_11_4 n241_a_ted_talk_11_6 NP-SBJ n241_a_ted_talk_11_5->n241_a_ted_talk_11_6 n241_a_ted_talk_11_9 HVD;_cat_Vt_ n241_a_ted_talk_11_5->n241_a_ted_talk_11_9 n241_a_ted_talk_11_11 IP-INF-CAT n241_a_ted_talk_11_5->n241_a_ted_talk_11_11 n241_a_ted_talk_11_16 PP-SCON n241_a_ted_talk_11_5->n241_a_ted_talk_11_16 n241_a_ted_talk_11_7 RPRO n241_a_ted_talk_11_6->n241_a_ted_talk_11_7 n241_a_ted_talk_11_7->n241_a_ted_talk_11_8 n241_a_ted_talk_11_9->n241_a_ted_talk_11_10 n241_a_ted_talk_11_12 TO n241_a_ted_talk_11_11->n241_a_ted_talk_11_12 n241_a_ted_talk_11_14 VB;__ n241_a_ted_talk_11_11->n241_a_ted_talk_11_14 n241_a_ted_talk_11_12->n241_a_ted_talk_11_13 n241_a_ted_talk_11_14->n241_a_ted_talk_11_15 n241_a_ted_talk_11_17 IP-INF n241_a_ted_talk_11_16->n241_a_ted_talk_11_17 n241_a_ted_talk_11_18 TO n241_a_ted_talk_11_17->n241_a_ted_talk_11_18 n241_a_ted_talk_11_20 VB;__ n241_a_ted_talk_11_17->n241_a_ted_talk_11_20 n241_a_ted_talk_11_18->n241_a_ted_talk_11_19 n241_a_ted_talk_11_20->n241_a_ted_talk_11_21 n241_a_ted_talk_11_22->n241_a_ted_talk_11_23 n241_a_ted_talk_11_24->n241_a_ted_talk_11_25 
( (FRAG (NP (NS People;{people})
            (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 .)
        (PURQ <rdquo>))
  (ID 241_a_ted_talk_11))