Context                Previous, Next                Top


151_a_ted_talk_11
not all of them, but typically, they live in their heads.

%3 r_0151_0001__not not r_0151_0004__them them r_0151_0001__not->r_0151_0004__them of r_0151_0002__all_quant all [quant] r_0151_0002__all_quant->r_0151_0001__not [restriction] r_0151_0006__but_r_0151_0010__live but live r_0151_0002__all_quant->r_0151_0006__but_r_0151_0010__live [scope] r_0151_0006__but_r_0151_0010__live->r_0151_0001__not [nim] r_0151_0007__typically typically r_0151_0006__but_r_0151_0010__live->r_0151_0007__typically [nim] r_0151_0009__they they r_0151_0006__but_r_0151_0010__live->r_0151_0009__they [arg0] r_0151_0013__heads heads r_0151_0006__but_r_0151_0010__live->r_0151_0013__heads in [clr] r_0151_0013__heads->r_0151_0009__they [gen] 
arc(r_0151_0001__not, r_0151_0004__them, r_0151_0003__of).
arc(r_0151_0002__all_quant, r_0151_0001__not, restriction).
arc(r_0151_0002__all_quant, r_0151_0006__but_r_0151_0010__live, scope).
arc(r_0151_0006__but_r_0151_0010__live, r_0151_0001__not, nim2).
arc(r_0151_0006__but_r_0151_0010__live, r_0151_0007__typically, nim17).
arc(r_0151_0006__but_r_0151_0010__live, r_0151_0009__they, arg0).
arc(r_0151_0006__but_r_0151_0010__live, r_0151_0013__heads, r_0151_0011__in_clr30).
arc(r_0151_0013__heads, r_0151_0009__they, gen).


%3 r_0151_0013__heads heads r_0151_0009__they they r_0151_0013__heads->r_0151_0009__they [gen] r_0151_0006__but_r_0151_0010__live but live r_0151_0006__but_r_0151_0010__live->r_0151_0013__heads in [clr] r_0151_0006__but_r_0151_0010__live->r_0151_0009__they [arg0] r_0151_0007__typically typically r_0151_0006__but_r_0151_0010__live->r_0151_0007__typically [nim] r_0151_0001__not not r_0151_0006__but_r_0151_0010__live->r_0151_0001__not [nim] r_0151_0004__them them r_0151_0001__not->r_0151_0004__them of r_0151_0002__all_quant all [quant] r_0151_0002__all_quant->r_0151_0006__but_r_0151_0010__live [scope] r_0151_0002__all_quant->r_0151_0001__not [restriction] 
fof(formula,axiom,
    ! [R_0151_0001__NOT,R_0151_0004__THEM] :
      ( ( r_0151_0004__them(R_0151_0004__THEM)
        & ~ has_r_0151_0003__of(R_0151_0001__NOT,R_0151_0004__THEM) )
     => ? [R_0151_0007__TYPICALLY,R_0151_0009__THEY,R_0151_0013__HEADS,R_0151_0006__BUT_R_0151_0010__LIVE] :
          ( r_0151_0007__typically(R_0151_0007__TYPICALLY)
          & r_0151_0009__they(R_0151_0009__THEY)
          & r_0151_0006__but_r_0151_0010__live(R_0151_0006__BUT_R_0151_0010__LIVE)
          & has_r_0151_0011__in_clr30(R_0151_0006__BUT_R_0151_0010__LIVE,R_0151_0013__HEADS)
          & r_0151_0013__heads(R_0151_0013__HEADS)
          & has_gen(R_0151_0013__HEADS,R_0151_0009__THEY)
          & has_arg0(R_0151_0006__BUT_R_0151_0010__LIVE,R_0151_0009__THEY)
          & has_nim17(R_0151_0006__BUT_R_0151_0010__LIVE,R_0151_0007__TYPICALLY)
          & has_nim2(R_0151_0006__BUT_R_0151_0010__LIVE,R_0151_0001__NOT) ) ) ).


n151_a_ted_talk_11 n151_a_ted_talk_11__1_1_1_1 not n151_a_ted_talk_11__1_1_2_1 all n151_a_ted_talk_11__1_1_3_1_1 of n151_a_ted_talk_11__1_1_3_2_1_1 them n151_a_ted_talk_11__1_2_1 , n151_a_ted_talk_11__1_3_1 but n151_a_ted_talk_11__1_4_1_1 typically n151_a_ted_talk_11__1_5_1 , n151_a_ted_talk_11__1_6_1_1 they n151_a_ted_talk_11__1_7_1 live n151_a_ted_talk_11__1_8_1_1 in n151_a_ted_talk_11__1_8_2_1_1_1 their n151_a_ted_talk_11__1_8_2_2_1 heads n151_a_ted_talk_11__1_9_1 . n151_a_ted_talk_11__1 IP-MAT n151_a_ted_talk_11__1_1 NP-NIM n151_a_ted_talk_11__1->n151_a_ted_talk_11__1_1 n151_a_ted_talk_11__1_2 PUNC n151_a_ted_talk_11__1->n151_a_ted_talk_11__1_2 n151_a_ted_talk_11__1_3 CONJ;_cl_ n151_a_ted_talk_11__1->n151_a_ted_talk_11__1_3 n151_a_ted_talk_11__1_4 ADVP-NIM n151_a_ted_talk_11__1->n151_a_ted_talk_11__1_4 n151_a_ted_talk_11__1_5 PUNC n151_a_ted_talk_11__1->n151_a_ted_talk_11__1_5 n151_a_ted_talk_11__1_6 NP-SBJ n151_a_ted_talk_11__1->n151_a_ted_talk_11__1_6 n151_a_ted_talk_11__1_7 VBP;_Ipr_ n151_a_ted_talk_11__1->n151_a_ted_talk_11__1_7 n151_a_ted_talk_11__1_8 PP-CLR n151_a_ted_talk_11__1->n151_a_ted_talk_11__1_8 n151_a_ted_talk_11__1_9 PUNC n151_a_ted_talk_11__1->n151_a_ted_talk_11__1_9 n151_a_ted_talk_11__1_1_1 NEG n151_a_ted_talk_11__1_1->n151_a_ted_talk_11__1_1_1 n151_a_ted_talk_11__1_1_2 Q;_nphd_ n151_a_ted_talk_11__1_1->n151_a_ted_talk_11__1_1_2 n151_a_ted_talk_11__1_1_3 PP n151_a_ted_talk_11__1_1->n151_a_ted_talk_11__1_1_3 n151_a_ted_talk_11__1_1_1->n151_a_ted_talk_11__1_1_1_1 n151_a_ted_talk_11__1_1_2->n151_a_ted_talk_11__1_1_2_1 n151_a_ted_talk_11__1_1_3_1 P-ROLE n151_a_ted_talk_11__1_1_3->n151_a_ted_talk_11__1_1_3_1 n151_a_ted_talk_11__1_1_3_2 NP n151_a_ted_talk_11__1_1_3->n151_a_ted_talk_11__1_1_3_2 n151_a_ted_talk_11__1_1_3_1->n151_a_ted_talk_11__1_1_3_1_1 n151_a_ted_talk_11__1_1_3_2_1 PRO n151_a_ted_talk_11__1_1_3_2->n151_a_ted_talk_11__1_1_3_2_1 n151_a_ted_talk_11__1_1_3_2_1->n151_a_ted_talk_11__1_1_3_2_1_1 n151_a_ted_talk_11__1_2->n151_a_ted_talk_11__1_2_1 n151_a_ted_talk_11__1_3->n151_a_ted_talk_11__1_3_1 n151_a_ted_talk_11__1_4_1 ADV n151_a_ted_talk_11__1_4->n151_a_ted_talk_11__1_4_1 n151_a_ted_talk_11__1_4_1->n151_a_ted_talk_11__1_4_1_1 n151_a_ted_talk_11__1_5->n151_a_ted_talk_11__1_5_1 n151_a_ted_talk_11__1_6_1 PRO n151_a_ted_talk_11__1_6->n151_a_ted_talk_11__1_6_1 n151_a_ted_talk_11__1_6_1->n151_a_ted_talk_11__1_6_1_1 n151_a_ted_talk_11__1_7->n151_a_ted_talk_11__1_7_1 n151_a_ted_talk_11__1_8_1 P-ROLE n151_a_ted_talk_11__1_8->n151_a_ted_talk_11__1_8_1 n151_a_ted_talk_11__1_8_2 NP n151_a_ted_talk_11__1_8->n151_a_ted_talk_11__1_8_2 n151_a_ted_talk_11__1_8_1->n151_a_ted_talk_11__1_8_1_1 n151_a_ted_talk_11__1_8_2_1 NP-GEN n151_a_ted_talk_11__1_8_2->n151_a_ted_talk_11__1_8_2_1 n151_a_ted_talk_11__1_8_2_2 NS n151_a_ted_talk_11__1_8_2->n151_a_ted_talk_11__1_8_2_2 n151_a_ted_talk_11__1_8_2_1_1 PRO;_genm_ n151_a_ted_talk_11__1_8_2_1->n151_a_ted_talk_11__1_8_2_1_1 n151_a_ted_talk_11__1_8_2_1_1->n151_a_ted_talk_11__1_8_2_1_1_1 n151_a_ted_talk_11__1_8_2_2->n151_a_ted_talk_11__1_8_2_2_1 n151_a_ted_talk_11__1_9->n151_a_ted_talk_11__1_9_1 
( (IP-MAT (NP-NIM (NEG not;{not})
                  (Q;_nphd_ all;{all})
                  (PP (P-ROLE of;{of})
                      (NP;{PROFESSORS} (PRO them;{they}))))
          (PUNC ,)
          (CONJ;_cl_ but;{but})
          (ADVP-NIM (ADV typically;{typically}))
          (PUNC ,)
          (NP-SBJ;{PROFESSORS} (PRO they;{they}))
          (VBP;_Ipr_ live;{live[in]})
          (PP-CLR (P-ROLE in;{in})
                  (NP (NP-GEN;{PROFESSORS} (PRO;_genm_ their;{their}))
                      (NS heads;{head})))
          (PUNC .))
  (ID 151_a_ted_talk_11))