Context                Previous, Next                Top


75_a_ted_talk_11
If they don't know, they'll have a go.

%3 r_0075_0001__If If r_0075_0003__do_r_0075_0004__n_apos_t_r_0075_0005__know do n't know r_0075_0001__If->r_0075_0003__do_r_0075_0004__n_apos_t_r_0075_0005__know [restriction] r_0075_0008___apos_ll 'll r_0075_0001__If->r_0075_0008___apos_ll [scope] r_0075_0002__they they r_0075_0003__do_r_0075_0004__n_apos_t_r_0075_0005__know->r_0075_0002__they [arg0] r_0075_0009__have have r_0075_0008___apos_ll->r_0075_0009__have [scope] r_0075_0007__they they r_0075_0009__have->r_0075_0007__they [arg0] r_0075_0010__a_r_0075_0011__go a go r_0075_0009__have->r_0075_0010__a_r_0075_0011__go [arg1] 
arc(r_0075_0001__If, r_0075_0003__do_r_0075_0004__n_apos_t_r_0075_0005__know, restriction).
arc(r_0075_0001__If, r_0075_0008___apos_ll, scope).
arc(r_0075_0003__do_r_0075_0004__n_apos_t_r_0075_0005__know, r_0075_0002__they, arg0).
arc(r_0075_0008___apos_ll, r_0075_0009__have, scope).
arc(r_0075_0009__have, r_0075_0007__they, arg0).
arc(r_0075_0009__have, r_0075_0010__a_r_0075_0011__go, arg1).


%3 r_0075_0008___apos_ll_r_0075_0009__have 'll have r_0075_0010__a_r_0075_0011__go a go r_0075_0008___apos_ll_r_0075_0009__have->r_0075_0010__a_r_0075_0011__go [arg1] r_0075_0007__they they r_0075_0008___apos_ll_r_0075_0009__have->r_0075_0007__they [arg0] r_0075_0003__do_r_0075_0004__n_apos_t_r_0075_0005__know do n't know r_0075_0002__they they r_0075_0003__do_r_0075_0004__n_apos_t_r_0075_0005__know->r_0075_0002__they [arg0] r_0075_0001__If If r_0075_0001__If->r_0075_0008___apos_ll_r_0075_0009__have [scope] r_0075_0001__If->r_0075_0003__do_r_0075_0004__n_apos_t_r_0075_0005__know [restriction] 
fof(formula,axiom,
    ! [R_0075_0003__DO_R_0075_0004__N_APOS_T_R_0075_0005__KNOW,R_0075_0002__THEY] :
      ( ( r_0075_0002__they(R_0075_0002__THEY)
        & ~ has_arg0(R_0075_0003__DO_R_0075_0004__N_APOS_T_R_0075_0005__KNOW,R_0075_0002__THEY) )
     => ? [R_0075_0007__THEY,R_0075_0010__A_R_0075_0011__GO,R_0075_0008___APOS_LL_R_0075_0009__HAVE] :
          ( r_0075_0007__they(R_0075_0007__THEY)
          & r_0075_0010__a_r_0075_0011__go(R_0075_0010__A_R_0075_0011__GO)
          & r_0075_0008___apos_ll_r_0075_0009__have(R_0075_0008___APOS_LL_R_0075_0009__HAVE)
          & has_arg1(R_0075_0008___APOS_LL_R_0075_0009__HAVE,R_0075_0010__A_R_0075_0011__GO)
          & has_arg0(R_0075_0008___APOS_LL_R_0075_0009__HAVE,R_0075_0007__THEY) ) ) ).


n75_a_ted_talk_11 n75_a_ted_talk_11__1_1_1_1 If n75_a_ted_talk_11__1_1_2_1_1_1 they n75_a_ted_talk_11__1_1_2_2_1 do n75_a_ted_talk_11__1_1_2_3_1 n't n75_a_ted_talk_11__1_1_2_4_1 know n75_a_ted_talk_11__1_2_1 , n75_a_ted_talk_11__1_3_1_1 they n75_a_ted_talk_11__1_4_1 'll n75_a_ted_talk_11__1_5_1_1 have n75_a_ted_talk_11__1_5_2_1_1 a n75_a_ted_talk_11__1_5_2_2_1 go n75_a_ted_talk_11__1_6_1 . n75_a_ted_talk_11__1 IP-MAT n75_a_ted_talk_11__1_1 PP-SCON n75_a_ted_talk_11__1->n75_a_ted_talk_11__1_1 n75_a_ted_talk_11__1_2 PUNC n75_a_ted_talk_11__1->n75_a_ted_talk_11__1_2 n75_a_ted_talk_11__1_3 NP-SBJ n75_a_ted_talk_11__1->n75_a_ted_talk_11__1_3 n75_a_ted_talk_11__1_4 MD;_cat_Vi_ n75_a_ted_talk_11__1->n75_a_ted_talk_11__1_4 n75_a_ted_talk_11__1_5 IP-INF-CAT n75_a_ted_talk_11__1->n75_a_ted_talk_11__1_5 n75_a_ted_talk_11__1_6 PUNC n75_a_ted_talk_11__1->n75_a_ted_talk_11__1_6 n75_a_ted_talk_11__1_1_1 P-CONN n75_a_ted_talk_11__1_1->n75_a_ted_talk_11__1_1_1 n75_a_ted_talk_11__1_1_2 IP-ADV n75_a_ted_talk_11__1_1->n75_a_ted_talk_11__1_1_2 n75_a_ted_talk_11__1_1_1->n75_a_ted_talk_11__1_1_1_1 n75_a_ted_talk_11__1_1_2_1 NP-SBJ n75_a_ted_talk_11__1_1_2->n75_a_ted_talk_11__1_1_2_1 n75_a_ted_talk_11__1_1_2_2 DOP n75_a_ted_talk_11__1_1_2->n75_a_ted_talk_11__1_1_2_2 n75_a_ted_talk_11__1_1_2_3 NEG;_clitic_ n75_a_ted_talk_11__1_1_2->n75_a_ted_talk_11__1_1_2_3 n75_a_ted_talk_11__1_1_2_4 VB;_I_ n75_a_ted_talk_11__1_1_2->n75_a_ted_talk_11__1_1_2_4 n75_a_ted_talk_11__1_1_2_1_1 PRO n75_a_ted_talk_11__1_1_2_1->n75_a_ted_talk_11__1_1_2_1_1 n75_a_ted_talk_11__1_1_2_1_1->n75_a_ted_talk_11__1_1_2_1_1_1 n75_a_ted_talk_11__1_1_2_2->n75_a_ted_talk_11__1_1_2_2_1 n75_a_ted_talk_11__1_1_2_3->n75_a_ted_talk_11__1_1_2_3_1 n75_a_ted_talk_11__1_1_2_4->n75_a_ted_talk_11__1_1_2_4_1 n75_a_ted_talk_11__1_2->n75_a_ted_talk_11__1_2_1 n75_a_ted_talk_11__1_3_1 PRO n75_a_ted_talk_11__1_3->n75_a_ted_talk_11__1_3_1 n75_a_ted_talk_11__1_3_1->n75_a_ted_talk_11__1_3_1_1 n75_a_ted_talk_11__1_4->n75_a_ted_talk_11__1_4_1 n75_a_ted_talk_11__1_5_1 HV;_Tn_ n75_a_ted_talk_11__1_5->n75_a_ted_talk_11__1_5_1 n75_a_ted_talk_11__1_5_2 NP-OB1 n75_a_ted_talk_11__1_5->n75_a_ted_talk_11__1_5_2 n75_a_ted_talk_11__1_5_1->n75_a_ted_talk_11__1_5_1_1 n75_a_ted_talk_11__1_5_2_1 D n75_a_ted_talk_11__1_5_2->n75_a_ted_talk_11__1_5_2_1 n75_a_ted_talk_11__1_5_2_2 N n75_a_ted_talk_11__1_5_2->n75_a_ted_talk_11__1_5_2_2 n75_a_ted_talk_11__1_5_2_1->n75_a_ted_talk_11__1_5_2_1_1 n75_a_ted_talk_11__1_5_2_2->n75_a_ted_talk_11__1_5_2_2_1 n75_a_ted_talk_11__1_6->n75_a_ted_talk_11__1_6_1 
( (IP-MAT (PP-SCON (P-CONN If;{if})
                   (IP-ADV (NP-SBJ;{KIDS} (PRO they;{they}))
                           (DOP do;{do})
                           (NEG;_clitic_ n<apos>t;{not})
                           (VB;_I_ know;{know})))
          (PUNC ,)
          (NP-SBJ;{KIDS} (PRO they;{they}))
          (MD;_cat_Vi_ <apos>ll;{will})
          (IP-INF-CAT (HV;_Tn_ have;{have})
                      (NP-OB1 (D a;{a})
                              (N go;{go})))
          (PUNC .))
  (ID 75_a_ted_talk_11))