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_0004__n_apos_t n't r_0075_0001__If->r_0075_0004__n_apos_t [restriction] r_0075_0008___apos_ll 'll r_0075_0001__If->r_0075_0008___apos_ll [scope] r_0075_0003__do_r_0075_0005__know do know r_0075_0004__n_apos_t->r_0075_0003__do_r_0075_0005__know [keep_scope] r_0075_0009__have have r_0075_0008___apos_ll->r_0075_0009__have [scope] r_0075_0002__they they r_0075_0003__do_r_0075_0005__know->r_0075_0002__they [arg0] 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_0004__n_apos_t, restriction).
arc(r_0075_0001__If, r_0075_0008___apos_ll, scope).
arc(r_0075_0003__do_r_0075_0005__know, r_0075_0002__they, arg0).
arc(r_0075_0004__n_apos_t, r_0075_0003__do_r_0075_0005__know, keep_scope).
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_0001__If If r_0075_0004__n_apos_t n't r_0075_0001__If->r_0075_0004__n_apos_t [restriction] r_0075_0008___apos_ll_r_0075_0009__have 'll have r_0075_0001__If->r_0075_0008___apos_ll_r_0075_0009__have [scope] r_0075_0003__do_r_0075_0005__know do know r_0075_0004__n_apos_t->r_0075_0003__do_r_0075_0005__know [keep_scope] r_0075_0007__they they r_0075_0008___apos_ll_r_0075_0009__have->r_0075_0007__they [arg0] 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_0002__they they r_0075_0003__do_r_0075_0005__know->r_0075_0002__they [arg0] 
fof(formula,axiom,
    ( ~ ? [R_75_3_DO_KNOW,R_75_2_THEY] :
          ( they(R_75_2_THEY)
          & do_know(R_75_3_DO_KNOW,R_75_2_THEY) )
   => ? [R_75_8__APOS_LL_HAVE,R_75_7_THEY,R_75_10_A_GO] :
        ( they(R_75_7_THEY)
        & a_go(R_75_10_A_GO)
        & _apos_ll_have(R_75_8__APOS_LL_HAVE,R_75_7_THEY,R_75_10_A_GO) ) ) ).


n75_a_ted_talk_11 n75_a_ted_talk_11_4 If n75_a_ted_talk_11_8 they n75_a_ted_talk_11_10 do n75_a_ted_talk_11_12 n't n75_a_ted_talk_11_14 know n75_a_ted_talk_11_16 , n75_a_ted_talk_11_19 they n75_a_ted_talk_11_21 'll n75_a_ted_talk_11_24 have n75_a_ted_talk_11_27 a n75_a_ted_talk_11_29 go n75_a_ted_talk_11_31 . n75_a_ted_talk_11_1 IP-MAT n75_a_ted_talk_11_2 PP-SCON n75_a_ted_talk_11_1->n75_a_ted_talk_11_2 n75_a_ted_talk_11_15 PUNC n75_a_ted_talk_11_1->n75_a_ted_talk_11_15 n75_a_ted_talk_11_17 NP-SBJ n75_a_ted_talk_11_1->n75_a_ted_talk_11_17 n75_a_ted_talk_11_20 MD;_cat_Vi_ n75_a_ted_talk_11_1->n75_a_ted_talk_11_20 n75_a_ted_talk_11_22 IP-INF-CAT n75_a_ted_talk_11_1->n75_a_ted_talk_11_22 n75_a_ted_talk_11_30 PUNC n75_a_ted_talk_11_1->n75_a_ted_talk_11_30 n75_a_ted_talk_11_3 P-CONN n75_a_ted_talk_11_2->n75_a_ted_talk_11_3 n75_a_ted_talk_11_5 IP-ADV n75_a_ted_talk_11_2->n75_a_ted_talk_11_5 n75_a_ted_talk_11_3->n75_a_ted_talk_11_4 n75_a_ted_talk_11_6 NP-SBJ n75_a_ted_talk_11_5->n75_a_ted_talk_11_6 n75_a_ted_talk_11_9 DOP n75_a_ted_talk_11_5->n75_a_ted_talk_11_9 n75_a_ted_talk_11_11 NEG;_clitic_ n75_a_ted_talk_11_5->n75_a_ted_talk_11_11 n75_a_ted_talk_11_13 VB;_I_ n75_a_ted_talk_11_5->n75_a_ted_talk_11_13 n75_a_ted_talk_11_7 PRO n75_a_ted_talk_11_6->n75_a_ted_talk_11_7 n75_a_ted_talk_11_7->n75_a_ted_talk_11_8 n75_a_ted_talk_11_9->n75_a_ted_talk_11_10 n75_a_ted_talk_11_11->n75_a_ted_talk_11_12 n75_a_ted_talk_11_13->n75_a_ted_talk_11_14 n75_a_ted_talk_11_15->n75_a_ted_talk_11_16 n75_a_ted_talk_11_18 PRO n75_a_ted_talk_11_17->n75_a_ted_talk_11_18 n75_a_ted_talk_11_18->n75_a_ted_talk_11_19 n75_a_ted_talk_11_20->n75_a_ted_talk_11_21 n75_a_ted_talk_11_23 HV;_Tn_ n75_a_ted_talk_11_22->n75_a_ted_talk_11_23 n75_a_ted_talk_11_25 NP-OB1 n75_a_ted_talk_11_22->n75_a_ted_talk_11_25 n75_a_ted_talk_11_23->n75_a_ted_talk_11_24 n75_a_ted_talk_11_26 D n75_a_ted_talk_11_25->n75_a_ted_talk_11_26 n75_a_ted_talk_11_28 N n75_a_ted_talk_11_25->n75_a_ted_talk_11_28 n75_a_ted_talk_11_26->n75_a_ted_talk_11_27 n75_a_ted_talk_11_28->n75_a_ted_talk_11_29 n75_a_ted_talk_11_30->n75_a_ted_talk_11_31 
( (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))