Context                Previous, Next                Top


241_a_ted_talk_11
Who had to move to think.

n241_a_ted_talk_11 n241_a_ted_talk_11__1_1_1_1_1_1 Who n241_a_ted_talk_11__1_1_1_2_1 had n241_a_ted_talk_11__1_1_1_3_1_1 to n241_a_ted_talk_11__1_1_1_3_2_1 move n241_a_ted_talk_11__1_1_1_4_1_1_1 to n241_a_ted_talk_11__1_1_1_4_1_2_1 think n241_a_ted_talk_11__1_2_1 . 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_1_1 IP-REL n241_a_ted_talk_11__1_1->n241_a_ted_talk_11__1_1_1 n241_a_ted_talk_11__1_1_1_1 NP-SBJ n241_a_ted_talk_11__1_1_1->n241_a_ted_talk_11__1_1_1_1 n241_a_ted_talk_11__1_1_1_2 HVD;_cat_Vt_ n241_a_ted_talk_11__1_1_1->n241_a_ted_talk_11__1_1_1_2 n241_a_ted_talk_11__1_1_1_3 IP-INF-CAT n241_a_ted_talk_11__1_1_1->n241_a_ted_talk_11__1_1_1_3 n241_a_ted_talk_11__1_1_1_4 PP-SCON n241_a_ted_talk_11__1_1_1->n241_a_ted_talk_11__1_1_1_4 n241_a_ted_talk_11__1_1_1_1_1 RPRO n241_a_ted_talk_11__1_1_1_1->n241_a_ted_talk_11__1_1_1_1_1 n241_a_ted_talk_11__1_1_1_1_1->n241_a_ted_talk_11__1_1_1_1_1_1 n241_a_ted_talk_11__1_1_1_2->n241_a_ted_talk_11__1_1_1_2_1 n241_a_ted_talk_11__1_1_1_3_1 TO n241_a_ted_talk_11__1_1_1_3->n241_a_ted_talk_11__1_1_1_3_1 n241_a_ted_talk_11__1_1_1_3_2 VB;__ n241_a_ted_talk_11__1_1_1_3->n241_a_ted_talk_11__1_1_1_3_2 n241_a_ted_talk_11__1_1_1_3_1->n241_a_ted_talk_11__1_1_1_3_1_1 n241_a_ted_talk_11__1_1_1_3_2->n241_a_ted_talk_11__1_1_1_3_2_1 n241_a_ted_talk_11__1_1_1_4_1 IP-INF n241_a_ted_talk_11__1_1_1_4->n241_a_ted_talk_11__1_1_1_4_1 n241_a_ted_talk_11__1_1_1_4_1_1 TO n241_a_ted_talk_11__1_1_1_4_1->n241_a_ted_talk_11__1_1_1_4_1_1 n241_a_ted_talk_11__1_1_1_4_1_2 VB;__ n241_a_ted_talk_11__1_1_1_4_1->n241_a_ted_talk_11__1_1_1_4_1_2 n241_a_ted_talk_11__1_1_1_4_1_1->n241_a_ted_talk_11__1_1_1_4_1_1_1 n241_a_ted_talk_11__1_1_1_4_1_2->n241_a_ted_talk_11__1_1_1_4_1_2_1 n241_a_ted_talk_11__1_2->n241_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 241_a_ted_talk_11))


%3 z_0241_5010 r_0241_0001__Who Who z_0241_5010->r_0241_0001__Who z_0241_5004 r_0241_0006__think think z_0241_5004->r_0241_0006__think [restriction] r_0241_0002__had had z_0241_5004->r_0241_0002__had [scope] r_0241_0006__think->r_0241_0001__Who [arg0] r_0241_0004__move move r_0241_0002__had->r_0241_0004__move [scope] r_0241_0004__move->r_0241_0001__Who [arg0] 
arc(r_0241_0002__had,r_0241_0004__move,scope).
arc(r_0241_0004__move,r_0241_0001__Who,arg0).
arc(r_0241_0006__think,r_0241_0001__Who,arg0).
arc(z_0241_5004,r_0241_0002__had,scope).
arc(z_0241_5004,r_0241_0006__think,restriction).
arc(z_0241_5010,r_0241_0001__Who,z_0241_5002).


%3 r_0241_0002__had_r_0241_0004__move had move r_0241_0001__Who Who r_0241_0002__had_r_0241_0004__move->r_0241_0001__Who [arg0] r_0241_0006__think think r_0241_0006__think->r_0241_0001__Who [arg0] z_0241_5004 z_0241_5004->r_0241_0002__had_r_0241_0004__move [conj2] z_0241_5004->r_0241_0006__think [conj1] z_0241_5010 z_0241_5010->r_0241_0001__Who 
fof(formula,axiom,
    ? [R_0241_0001__WHO,R_0241_0002__HAD_R_0241_0004__MOVE,R_0241_0006__THINK,Z_0241_5004,Z_0241_5010] :
      ( r_0241_0001__Who(R_0241_0001__WHO)
      & z_0241_5010(Z_0241_5010)
      & has_z_0241_5002(Z_0241_5010,R_0241_0001__WHO)
      & z_0241_5004(Z_0241_5004)
      & has_conj1(Z_0241_5004,R_0241_0006__THINK)
      & r_0241_0006__think(R_0241_0006__THINK)
      & has_arg0(R_0241_0006__THINK,R_0241_0001__WHO)
      & has_conj2(Z_0241_5004,R_0241_0002__HAD_R_0241_0004__MOVE)
      & r_0241_0002__had_r_0241_0004__move(R_0241_0002__HAD_R_0241_0004__MOVE)
      & has_arg0(R_0241_0002__HAD_R_0241_0004__MOVE,R_0241_0001__WHO) ) ).