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_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] 
fof(formula,axiom,
    ! [R_151_1_NOT,R_151_4_THEM] :
      ( ( them(R_151_4_THEM)
        & not(R_151_1_NOT)
        & of(R_151_1_NOT,R_151_4_THEM) )
     => ? [R_151_6_BUT_LIVE,R_151_7_TYPICALLY,R_151_13_HEADS,R_151_9_THEY] :
          ( typically(R_151_7_TYPICALLY)
          & they(R_151_9_THEY)
          & but_live(R_151_6_BUT_LIVE,R_151_9_THEY)
          & nim17(R_151_6_BUT_LIVE,R_151_7_TYPICALLY)
          & nim2(R_151_6_BUT_LIVE,R_151_1_NOT)
          & in_clr30(R_151_6_BUT_LIVE,R_151_13_HEADS)
          & heads(R_151_13_HEADS)
          & gen(R_151_13_HEADS,R_151_9_THEY) ) ) ).


n151_a_ted_talk_11 n151_a_ted_talk_11_4 not n151_a_ted_talk_11_6 all n151_a_ted_talk_11_9 of n151_a_ted_talk_11_12 them n151_a_ted_talk_11_14 , n151_a_ted_talk_11_16 but n151_a_ted_talk_11_19 typically n151_a_ted_talk_11_21 , n151_a_ted_talk_11_24 they n151_a_ted_talk_11_26 live n151_a_ted_talk_11_29 in n151_a_ted_talk_11_33 their n151_a_ted_talk_11_35 heads n151_a_ted_talk_11_37 . n151_a_ted_talk_11_1 IP-MAT n151_a_ted_talk_11_2 NP-NIM n151_a_ted_talk_11_1->n151_a_ted_talk_11_2 n151_a_ted_talk_11_13 PUNC n151_a_ted_talk_11_1->n151_a_ted_talk_11_13 n151_a_ted_talk_11_15 CONJ;_cl_ n151_a_ted_talk_11_1->n151_a_ted_talk_11_15 n151_a_ted_talk_11_17 ADVP-NIM n151_a_ted_talk_11_1->n151_a_ted_talk_11_17 n151_a_ted_talk_11_20 PUNC n151_a_ted_talk_11_1->n151_a_ted_talk_11_20 n151_a_ted_talk_11_22 NP-SBJ n151_a_ted_talk_11_1->n151_a_ted_talk_11_22 n151_a_ted_talk_11_25 VBP;_Ipr_ n151_a_ted_talk_11_1->n151_a_ted_talk_11_25 n151_a_ted_talk_11_27 PP-CLR n151_a_ted_talk_11_1->n151_a_ted_talk_11_27 n151_a_ted_talk_11_36 PUNC n151_a_ted_talk_11_1->n151_a_ted_talk_11_36 n151_a_ted_talk_11_3 NEG n151_a_ted_talk_11_2->n151_a_ted_talk_11_3 n151_a_ted_talk_11_5 Q;_nphd_ n151_a_ted_talk_11_2->n151_a_ted_talk_11_5 n151_a_ted_talk_11_7 PP n151_a_ted_talk_11_2->n151_a_ted_talk_11_7 n151_a_ted_talk_11_3->n151_a_ted_talk_11_4 n151_a_ted_talk_11_5->n151_a_ted_talk_11_6 n151_a_ted_talk_11_8 P-ROLE n151_a_ted_talk_11_7->n151_a_ted_talk_11_8 n151_a_ted_talk_11_10 NP n151_a_ted_talk_11_7->n151_a_ted_talk_11_10 n151_a_ted_talk_11_8->n151_a_ted_talk_11_9 n151_a_ted_talk_11_11 PRO n151_a_ted_talk_11_10->n151_a_ted_talk_11_11 n151_a_ted_talk_11_11->n151_a_ted_talk_11_12 n151_a_ted_talk_11_13->n151_a_ted_talk_11_14 n151_a_ted_talk_11_15->n151_a_ted_talk_11_16 n151_a_ted_talk_11_18 ADV n151_a_ted_talk_11_17->n151_a_ted_talk_11_18 n151_a_ted_talk_11_18->n151_a_ted_talk_11_19 n151_a_ted_talk_11_20->n151_a_ted_talk_11_21 n151_a_ted_talk_11_23 PRO n151_a_ted_talk_11_22->n151_a_ted_talk_11_23 n151_a_ted_talk_11_23->n151_a_ted_talk_11_24 n151_a_ted_talk_11_25->n151_a_ted_talk_11_26 n151_a_ted_talk_11_28 P-ROLE n151_a_ted_talk_11_27->n151_a_ted_talk_11_28 n151_a_ted_talk_11_30 NP n151_a_ted_talk_11_27->n151_a_ted_talk_11_30 n151_a_ted_talk_11_28->n151_a_ted_talk_11_29 n151_a_ted_talk_11_31 NP-GEN n151_a_ted_talk_11_30->n151_a_ted_talk_11_31 n151_a_ted_talk_11_34 NS n151_a_ted_talk_11_30->n151_a_ted_talk_11_34 n151_a_ted_talk_11_32 PRO;_genm_ n151_a_ted_talk_11_31->n151_a_ted_talk_11_32 n151_a_ted_talk_11_32->n151_a_ted_talk_11_33 n151_a_ted_talk_11_34->n151_a_ted_talk_11_35 n151_a_ted_talk_11_36->n151_a_ted_talk_11_37 
( (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))