240_a_ted_talk_11
People who had to move to think.”

n240_a_ted_talk_11 n240_a_ted_talk_11__1_1_1_1 People n240_a_ted_talk_11__1_1_2_1_1_1 who n240_a_ted_talk_11__1_1_2_2_1 had n240_a_ted_talk_11__1_1_2_3_1_1 to n240_a_ted_talk_11__1_1_2_3_2_1 move n240_a_ted_talk_11__1_1_2_4_1_1_1 to n240_a_ted_talk_11__1_1_2_4_1_2_1 think n240_a_ted_talk_11__1_2_1 . n240_a_ted_talk_11__1_3_1 <rdquo> n240_a_ted_talk_11__1 FRAG n240_a_ted_talk_11__1_1 NP n240_a_ted_talk_11__1->n240_a_ted_talk_11__1_1 n240_a_ted_talk_11__1_2 PUNC n240_a_ted_talk_11__1->n240_a_ted_talk_11__1_2 n240_a_ted_talk_11__1_3 PURQ n240_a_ted_talk_11__1->n240_a_ted_talk_11__1_3 n240_a_ted_talk_11__1_1_1 NS n240_a_ted_talk_11__1_1->n240_a_ted_talk_11__1_1_1 n240_a_ted_talk_11__1_1_2 IP-REL n240_a_ted_talk_11__1_1->n240_a_ted_talk_11__1_1_2 n240_a_ted_talk_11__1_1_1->n240_a_ted_talk_11__1_1_1_1 n240_a_ted_talk_11__1_1_2_1 NP-SBJ n240_a_ted_talk_11__1_1_2->n240_a_ted_talk_11__1_1_2_1 n240_a_ted_talk_11__1_1_2_2 HVD;_cat_Vt_ n240_a_ted_talk_11__1_1_2->n240_a_ted_talk_11__1_1_2_2 n240_a_ted_talk_11__1_1_2_3 IP-INF-CAT n240_a_ted_talk_11__1_1_2->n240_a_ted_talk_11__1_1_2_3 n240_a_ted_talk_11__1_1_2_4 PP-SCON n240_a_ted_talk_11__1_1_2->n240_a_ted_talk_11__1_1_2_4 n240_a_ted_talk_11__1_1_2_1_1 RPRO n240_a_ted_talk_11__1_1_2_1->n240_a_ted_talk_11__1_1_2_1_1 n240_a_ted_talk_11__1_1_2_1_1->n240_a_ted_talk_11__1_1_2_1_1_1 n240_a_ted_talk_11__1_1_2_2->n240_a_ted_talk_11__1_1_2_2_1 n240_a_ted_talk_11__1_1_2_3_1 TO n240_a_ted_talk_11__1_1_2_3->n240_a_ted_talk_11__1_1_2_3_1 n240_a_ted_talk_11__1_1_2_3_2 VB;__ n240_a_ted_talk_11__1_1_2_3->n240_a_ted_talk_11__1_1_2_3_2 n240_a_ted_talk_11__1_1_2_3_1->n240_a_ted_talk_11__1_1_2_3_1_1 n240_a_ted_talk_11__1_1_2_3_2->n240_a_ted_talk_11__1_1_2_3_2_1 n240_a_ted_talk_11__1_1_2_4_1 IP-INF n240_a_ted_talk_11__1_1_2_4->n240_a_ted_talk_11__1_1_2_4_1 n240_a_ted_talk_11__1_1_2_4_1_1 TO n240_a_ted_talk_11__1_1_2_4_1->n240_a_ted_talk_11__1_1_2_4_1_1 n240_a_ted_talk_11__1_1_2_4_1_2 VB;__ n240_a_ted_talk_11__1_1_2_4_1->n240_a_ted_talk_11__1_1_2_4_1_2 n240_a_ted_talk_11__1_1_2_4_1_1->n240_a_ted_talk_11__1_1_2_4_1_1_1 n240_a_ted_talk_11__1_1_2_4_1_2->n240_a_ted_talk_11__1_1_2_4_1_2_1 n240_a_ted_talk_11__1_2->n240_a_ted_talk_11__1_2_1 n240_a_ted_talk_11__1_3->n240_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 240_a_ted_talk_11))



%3 z_0240_5010 r_0240_0001__People People z_0240_5010->r_0240_0001__People z_0240_5004 r_0240_0007__think think z_0240_5004->r_0240_0007__think [restriction] r_0240_0003__had had z_0240_5004->r_0240_0003__had [scope] r_0240_0007__think->r_0240_0001__People [arg0] r_0240_0005__move move r_0240_0003__had->r_0240_0005__move [scope] r_0240_0005__move->r_0240_0001__People [arg0]
arc(r_0240_0003__had,r_0240_0005__move,scope).
arc(r_0240_0005__move,r_0240_0001__People,arg0).
arc(r_0240_0007__think,r_0240_0001__People,arg0).
arc(z_0240_5004,r_0240_0003__had,scope).
arc(z_0240_5004,r_0240_0007__think,restriction).
arc(z_0240_5010,r_0240_0001__People,z_0240_5002).



%3 r_0240_0003__had_r_0240_0005__move had move r_0240_0001__People People r_0240_0003__had_r_0240_0005__move->r_0240_0001__People [arg0] r_0240_0007__think think r_0240_0007__think->r_0240_0001__People [arg0] z_0240_5004 z_0240_5004->r_0240_0003__had_r_0240_0005__move [conj2] z_0240_5004->r_0240_0007__think [conj1] z_0240_5010 z_0240_5010->r_0240_0001__People
fof(formula,axiom,
    ? [R_0240_0001__PEOPLE,R_0240_0003__HAD_R_0240_0005__MOVE,R_0240_0007__THINK,Z_0240_5004,Z_0240_5010] :
      ( r_0240_0001__People(R_0240_0001__PEOPLE)
      & z_0240_5010(Z_0240_5010)
      & has_z_0240_5002(Z_0240_5010,R_0240_0001__PEOPLE)
      & z_0240_5004(Z_0240_5004)
      & has_conj1(Z_0240_5004,R_0240_0007__THINK)
      & r_0240_0007__think(R_0240_0007__THINK)
      & has_arg0(R_0240_0007__THINK,R_0240_0001__PEOPLE)
      & has_conj2(Z_0240_5004,R_0240_0003__HAD_R_0240_0005__MOVE)
      & r_0240_0003__had_r_0240_0005__move(R_0240_0003__HAD_R_0240_0005__MOVE)
      & has_arg0(R_0240_0003__HAD_R_0240_0005__MOVE,R_0240_0001__PEOPLE) ) ).