Context                Previous, Next                Top


12_a_ted_talk_11
Actually, what I find is everybody has an interest in education.

%3 r_0012_0005__find find r_0012_0004__I I r_0012_0005__find->r_0012_0004__I [arg0] z_000_12_a_ted_talk_11_7 r_0012_0005__find->z_000_12_a_ted_talk_11_7 [arg1] r_0012_0006__is is r_0012_0006__is->z_000_12_a_ted_talk_11_7 [arg0] r_0012_0001__Actually Actually r_0012_0006__is->r_0012_0001__Actually [nim] r_0012_0007__everybody_quant everybody [quant] r_0012_0006__is->r_0012_0007__everybody_quant [prd] r_0012_0008__has has r_0012_0007__everybody_quant->r_0012_0008__has [scope] z_000_12_a_ted_talk_11_21 r_0012_0007__everybody_quant->z_000_12_a_ted_talk_11_21 [restriction] r_0012_0008__has->z_000_12_a_ted_talk_11_21 [arg0] r_0012_0009__an_r_0012_0010__interest an interest r_0012_0008__has->r_0012_0009__an_r_0012_0010__interest [arg1] r_0012_0012__education education r_0012_0009__an_r_0012_0010__interest->r_0012_0012__education in 
arc(r_0012_0005__find, r_0012_0004__I, arg0).
arc(r_0012_0005__find, z_000_12_a_ted_talk_11_7, arg1).
arc(r_0012_0006__is, r_0012_0001__Actually, nim2).
arc(r_0012_0006__is, r_0012_0007__everybody_quant, prd).
arc(r_0012_0006__is, z_000_12_a_ted_talk_11_7, arg0).
arc(r_0012_0007__everybody_quant, r_0012_0008__has, scope).
arc(r_0012_0007__everybody_quant, z_000_12_a_ted_talk_11_21, restriction).
arc(r_0012_0008__has, r_0012_0009__an_r_0012_0010__interest, arg1).
arc(r_0012_0008__has, z_000_12_a_ted_talk_11_21, arg0).
arc(r_0012_0009__an_r_0012_0010__interest, r_0012_0012__education, r_0012_0011__in).


%3 r_0012_0009__an_r_0012_0010__interest an interest r_0012_0012__education education r_0012_0009__an_r_0012_0010__interest->r_0012_0012__education in r_0012_0008__has has r_0012_0008__has->r_0012_0009__an_r_0012_0010__interest [arg1] z_000_12_a_ted_talk_11_21 r_0012_0008__has->z_000_12_a_ted_talk_11_21 [arg0] r_0012_0007__everybody_quant everybody [quant] r_0012_0007__everybody_quant->r_0012_0008__has [scope] r_0012_0007__everybody_quant->z_000_12_a_ted_talk_11_21 [restriction] r_0012_0006__is is r_0012_0006__is->r_0012_0007__everybody_quant [prd] z_000_12_a_ted_talk_11_7 r_0012_0006__is->z_000_12_a_ted_talk_11_7 [arg0] r_0012_0001__Actually Actually r_0012_0006__is->r_0012_0001__Actually [nim] r_0012_0005__find find r_0012_0005__find->z_000_12_a_ted_talk_11_7 [arg1] r_0012_0004__I I r_0012_0005__find->r_0012_0004__I [arg0] 
fof(formula,axiom,
    ? [R_12_5_FIND,R_12_4_I,R_12_6_IS,Z_12_A_TED_TALK_11_7,R_12_1_ACTUALLY] :
      ( i(R_12_4_I)
      & actually(R_12_1_ACTUALLY)
      & find(R_12_5_FIND,R_12_4_I,Z_12_A_TED_TALK_11_7)
      & ! [Z_12_A_TED_TALK_11_21] :
          ( true
         => ? [R_12_8_HAS,R_12_9_AN_INTEREST,R_12_12_EDUCATION] :
              ( education(R_12_12_EDUCATION)
              & has(R_12_8_HAS,Z_12_A_TED_TALK_11_21,R_12_9_AN_INTEREST)
              & an_interest(R_12_9_AN_INTEREST)
              & in(R_12_9_AN_INTEREST,R_12_12_EDUCATION) ) )
      & prd(PRD)
      & is(R_12_6_IS,Z_12_A_TED_TALK_11_7)
      & nim2(R_12_6_IS,R_12_1_ACTUALLY) ) ).


n12_a_ted_talk_11 n12_a_ted_talk_11__1_1_1_1 Actually n12_a_ted_talk_11__1_2_1 , n12_a_ted_talk_11__1_3_1_1_1_1 what n12_a_ted_talk_11__1_3_1_2_1_1 I n12_a_ted_talk_11__1_3_1_3_1 find n12_a_ted_talk_11__1_4_1 is n12_a_ted_talk_11__1_5_1_1_1_1 everybody n12_a_ted_talk_11__1_5_1_2_1 has n12_a_ted_talk_11__1_5_1_3_1_1 an n12_a_ted_talk_11__1_5_1_3_2_1 interest n12_a_ted_talk_11__1_5_1_3_3_1_1 in n12_a_ted_talk_11__1_5_1_3_3_2_1_1 education n12_a_ted_talk_11__1_6_1 . n12_a_ted_talk_11__1 IP-MAT n12_a_ted_talk_11__1_1 ADVP-NIM n12_a_ted_talk_11__1->n12_a_ted_talk_11__1_1 n12_a_ted_talk_11__1_2 PUNC n12_a_ted_talk_11__1->n12_a_ted_talk_11__1_2 n12_a_ted_talk_11__1_3 NP-SBJ n12_a_ted_talk_11__1->n12_a_ted_talk_11__1_3 n12_a_ted_talk_11__1_4 BEP;_equ_Vf_ n12_a_ted_talk_11__1->n12_a_ted_talk_11__1_4 n12_a_ted_talk_11__1_5 CP-THT-PRD n12_a_ted_talk_11__1->n12_a_ted_talk_11__1_5 n12_a_ted_talk_11__1_6 PUNC n12_a_ted_talk_11__1->n12_a_ted_talk_11__1_6 n12_a_ted_talk_11__1_1_1 ADV n12_a_ted_talk_11__1_1->n12_a_ted_talk_11__1_1_1 n12_a_ted_talk_11__1_1_1->n12_a_ted_talk_11__1_1_1_1 n12_a_ted_talk_11__1_2->n12_a_ted_talk_11__1_2_1 n12_a_ted_talk_11__1_3_1 IP-REL n12_a_ted_talk_11__1_3->n12_a_ted_talk_11__1_3_1 n12_a_ted_talk_11__1_3_1_1 NP-OB1 n12_a_ted_talk_11__1_3_1->n12_a_ted_talk_11__1_3_1_1 n12_a_ted_talk_11__1_3_1_2 NP-SBJ n12_a_ted_talk_11__1_3_1->n12_a_ted_talk_11__1_3_1_2 n12_a_ted_talk_11__1_3_1_3 VBP;_Tn_ n12_a_ted_talk_11__1_3_1->n12_a_ted_talk_11__1_3_1_3 n12_a_ted_talk_11__1_3_1_1_1 RPRO n12_a_ted_talk_11__1_3_1_1->n12_a_ted_talk_11__1_3_1_1_1 n12_a_ted_talk_11__1_3_1_1_1->n12_a_ted_talk_11__1_3_1_1_1_1 n12_a_ted_talk_11__1_3_1_2_1 PRO n12_a_ted_talk_11__1_3_1_2->n12_a_ted_talk_11__1_3_1_2_1 n12_a_ted_talk_11__1_3_1_2_1->n12_a_ted_talk_11__1_3_1_2_1_1 n12_a_ted_talk_11__1_3_1_3->n12_a_ted_talk_11__1_3_1_3_1 n12_a_ted_talk_11__1_4->n12_a_ted_talk_11__1_4_1 n12_a_ted_talk_11__1_5_1 IP-SUB n12_a_ted_talk_11__1_5->n12_a_ted_talk_11__1_5_1 n12_a_ted_talk_11__1_5_1_1 NP-SBJ n12_a_ted_talk_11__1_5_1->n12_a_ted_talk_11__1_5_1_1 n12_a_ted_talk_11__1_5_1_2 HVP;_Tn_ n12_a_ted_talk_11__1_5_1->n12_a_ted_talk_11__1_5_1_2 n12_a_ted_talk_11__1_5_1_3 NP-OB1 n12_a_ted_talk_11__1_5_1->n12_a_ted_talk_11__1_5_1_3 n12_a_ted_talk_11__1_5_1_1_1 Q;_nphd_ n12_a_ted_talk_11__1_5_1_1->n12_a_ted_talk_11__1_5_1_1_1 n12_a_ted_talk_11__1_5_1_1_1->n12_a_ted_talk_11__1_5_1_1_1_1 n12_a_ted_talk_11__1_5_1_2->n12_a_ted_talk_11__1_5_1_2_1 n12_a_ted_talk_11__1_5_1_3_1 D n12_a_ted_talk_11__1_5_1_3->n12_a_ted_talk_11__1_5_1_3_1 n12_a_ted_talk_11__1_5_1_3_2 N n12_a_ted_talk_11__1_5_1_3->n12_a_ted_talk_11__1_5_1_3_2 n12_a_ted_talk_11__1_5_1_3_3 PP n12_a_ted_talk_11__1_5_1_3->n12_a_ted_talk_11__1_5_1_3_3 n12_a_ted_talk_11__1_5_1_3_1->n12_a_ted_talk_11__1_5_1_3_1_1 n12_a_ted_talk_11__1_5_1_3_2->n12_a_ted_talk_11__1_5_1_3_2_1 n12_a_ted_talk_11__1_5_1_3_3_1 P-ROLE n12_a_ted_talk_11__1_5_1_3_3->n12_a_ted_talk_11__1_5_1_3_3_1 n12_a_ted_talk_11__1_5_1_3_3_2 NP n12_a_ted_talk_11__1_5_1_3_3->n12_a_ted_talk_11__1_5_1_3_3_2 n12_a_ted_talk_11__1_5_1_3_3_1->n12_a_ted_talk_11__1_5_1_3_3_1_1 n12_a_ted_talk_11__1_5_1_3_3_2_1 N n12_a_ted_talk_11__1_5_1_3_3_2->n12_a_ted_talk_11__1_5_1_3_3_2_1 n12_a_ted_talk_11__1_5_1_3_3_2_1->n12_a_ted_talk_11__1_5_1_3_3_2_1_1 n12_a_ted_talk_11__1_6->n12_a_ted_talk_11__1_6_1 
( (IP-MAT (ADVP-NIM (ADV Actually;{actually}))
          (PUNC ,)
          (NP-SBJ (IP-REL (NP-OB1 (RPRO what;{what}))
                          (NP-SBJ (PRO I;{I}))
                          (VBP;_Tn_ find;{find})))
          (BEP;_equ_Vf_ is;{be})
          (CP-THT-PRD (IP-SUB (NP-SBJ (Q;_nphd_ everybody;{everybody}))
                              (HVP;_Tn_ has;{have})
                              (NP-OB1 (D an;{an})
                                      (N interest;{interest})
                                      (PP (P-ROLE in;{in})
                                          (NP (N education;{education}))))))
          (PUNC .))
  (ID 12_a_ted_talk_11))