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_1 z_000_241_a_ted_talk_11_1->r_0241_0001__People [nim] 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] 
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_1, r_0241_0001__People, nim2).
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).


%3 z_000_241_a_ted_talk_11_16 r_0241_0006__to_r_0241_0007__think to think z_000_241_a_ted_talk_11_16->r_0241_0006__to_r_0241_0007__think [conj1] r_0241_0003__had_r_0241_0004__to_r_0241_0005__move had to move z_000_241_a_ted_talk_11_16->r_0241_0003__had_r_0241_0004__to_r_0241_0005__move [conj2] r_0241_0001__People People r_0241_0006__to_r_0241_0007__think->r_0241_0001__People [arg0] r_0241_0003__had_r_0241_0004__to_r_0241_0005__move->r_0241_0001__People [arg0] 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__1_1_1_1 People n241_a_ted_talk_11__1_1_2_1_1_1 who n241_a_ted_talk_11__1_1_2_2_1 had n241_a_ted_talk_11__1_1_2_3_1_1 to n241_a_ted_talk_11__1_1_2_3_2_1 move n241_a_ted_talk_11__1_1_2_4_1_1_1 to n241_a_ted_talk_11__1_1_2_4_1_2_1 think n241_a_ted_talk_11__1_2_1 . n241_a_ted_talk_11__1_3_1 <rdquo> n241_a_ted_talk_11__1 FRAG n241_a_ted_talk_11__1_1 NP n241_a_ted_talk_11__1->n241_a_ted_talk_11__1_1 n241_a_ted_talk_11__1_2 PUNC n241_a_ted_talk_11__1->n241_a_ted_talk_11__1_2 n241_a_ted_talk_11__1_3 PURQ n241_a_ted_talk_11__1->n241_a_ted_talk_11__1_3 n241_a_ted_talk_11__1_1_1 NS n241_a_ted_talk_11__1_1->n241_a_ted_talk_11__1_1_1 n241_a_ted_talk_11__1_1_2 IP-REL n241_a_ted_talk_11__1_1->n241_a_ted_talk_11__1_1_2 n241_a_ted_talk_11__1_1_1->n241_a_ted_talk_11__1_1_1_1 n241_a_ted_talk_11__1_1_2_1 NP-SBJ n241_a_ted_talk_11__1_1_2->n241_a_ted_talk_11__1_1_2_1 n241_a_ted_talk_11__1_1_2_2 HVD;_cat_Vt_ n241_a_ted_talk_11__1_1_2->n241_a_ted_talk_11__1_1_2_2 n241_a_ted_talk_11__1_1_2_3 IP-INF-CAT n241_a_ted_talk_11__1_1_2->n241_a_ted_talk_11__1_1_2_3 n241_a_ted_talk_11__1_1_2_4 PP-SCON n241_a_ted_talk_11__1_1_2->n241_a_ted_talk_11__1_1_2_4 n241_a_ted_talk_11__1_1_2_1_1 RPRO n241_a_ted_talk_11__1_1_2_1->n241_a_ted_talk_11__1_1_2_1_1 n241_a_ted_talk_11__1_1_2_1_1->n241_a_ted_talk_11__1_1_2_1_1_1 n241_a_ted_talk_11__1_1_2_2->n241_a_ted_talk_11__1_1_2_2_1 n241_a_ted_talk_11__1_1_2_3_1 TO n241_a_ted_talk_11__1_1_2_3->n241_a_ted_talk_11__1_1_2_3_1 n241_a_ted_talk_11__1_1_2_3_2 VB;__ n241_a_ted_talk_11__1_1_2_3->n241_a_ted_talk_11__1_1_2_3_2 n241_a_ted_talk_11__1_1_2_3_1->n241_a_ted_talk_11__1_1_2_3_1_1 n241_a_ted_talk_11__1_1_2_3_2->n241_a_ted_talk_11__1_1_2_3_2_1 n241_a_ted_talk_11__1_1_2_4_1 IP-INF n241_a_ted_talk_11__1_1_2_4->n241_a_ted_talk_11__1_1_2_4_1 n241_a_ted_talk_11__1_1_2_4_1_1 TO n241_a_ted_talk_11__1_1_2_4_1->n241_a_ted_talk_11__1_1_2_4_1_1 n241_a_ted_talk_11__1_1_2_4_1_2 VB;__ n241_a_ted_talk_11__1_1_2_4_1->n241_a_ted_talk_11__1_1_2_4_1_2 n241_a_ted_talk_11__1_1_2_4_1_1->n241_a_ted_talk_11__1_1_2_4_1_1_1 n241_a_ted_talk_11__1_1_2_4_1_2->n241_a_ted_talk_11__1_1_2_4_1_2_1 n241_a_ted_talk_11__1_2->n241_a_ted_talk_11__1_2_1 n241_a_ted_talk_11__1_3->n241_a_ted_talk_11__1_3_1 
( (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))