Context                Previous, Next                Top


105_a_ted_talk_11
“Must try harder.”

%3 r_0105_0002__Must Must r_0105_0003__try try r_0105_0002__Must->r_0105_0003__try [scope] r_0105_0004__harder harder r_0105_0003__try->r_0105_0004__harder [nim] z_000_105_a_ted_talk_11_4 r_0105_0003__try->z_000_105_a_ted_talk_11_4 [arg0] 
arc(r_0105_0002__Must, r_0105_0003__try, scope).
arc(r_0105_0003__try, r_0105_0004__harder, nim12).
arc(r_0105_0003__try, z_000_105_a_ted_talk_11_4, arg0).


%3 r_0105_0002__Must_r_0105_0003__try Must try z_000_105_a_ted_talk_11_4 r_0105_0002__Must_r_0105_0003__try->z_000_105_a_ted_talk_11_4 [arg0] r_0105_0004__harder harder r_0105_0002__Must_r_0105_0003__try->r_0105_0004__harder [nim] 
fof(formula,axiom,
    ? [R_0105_0004__HARDER,Z_000_105_A_TED_TALK_11_4,R_0105_0002__MUST_R_0105_0003__TRY] :
      ( r_0105_0004__harder(R_0105_0004__HARDER)
      & z_000_105_a_ted_talk_11_4(Z_000_105_A_TED_TALK_11_4)
      & r_0105_0002__Must_r_0105_0003__try(R_0105_0002__MUST_R_0105_0003__TRY)
      & has_arg0(R_0105_0002__MUST_R_0105_0003__TRY,Z_000_105_A_TED_TALK_11_4)
      & has_nim12(R_0105_0002__MUST_R_0105_0003__TRY,R_0105_0004__HARDER) ) ).


n105_a_ted_talk_11 n105_a_ted_talk_11__1_1_1 <ldquo> n105_a_ted_talk_11__1_2_1_1 * n105_a_ted_talk_11__1_3_1 Must n105_a_ted_talk_11__1_4_1_1 try n105_a_ted_talk_11__1_4_2_1_1 harder n105_a_ted_talk_11__1_5_1 . n105_a_ted_talk_11__1_6_1 <rdquo> n105_a_ted_talk_11__1 IP-MAT n105_a_ted_talk_11__1_1 PULQ n105_a_ted_talk_11__1->n105_a_ted_talk_11__1_1 n105_a_ted_talk_11__1_2 NP-SBJ n105_a_ted_talk_11__1->n105_a_ted_talk_11__1_2 n105_a_ted_talk_11__1_3 MD;_cat_Vi_ n105_a_ted_talk_11__1->n105_a_ted_talk_11__1_3 n105_a_ted_talk_11__1_4 IP-INF-CAT n105_a_ted_talk_11__1->n105_a_ted_talk_11__1_4 n105_a_ted_talk_11__1_5 PUNC n105_a_ted_talk_11__1->n105_a_ted_talk_11__1_5 n105_a_ted_talk_11__1_6 PURQ n105_a_ted_talk_11__1->n105_a_ted_talk_11__1_6 n105_a_ted_talk_11__1_1->n105_a_ted_talk_11__1_1_1 n105_a_ted_talk_11__1_2_1 N n105_a_ted_talk_11__1_2->n105_a_ted_talk_11__1_2_1 n105_a_ted_talk_11__1_2_1->n105_a_ted_talk_11__1_2_1_1 n105_a_ted_talk_11__1_3->n105_a_ted_talk_11__1_3_1 n105_a_ted_talk_11__1_4_1 VB;_I_ n105_a_ted_talk_11__1_4->n105_a_ted_talk_11__1_4_1 n105_a_ted_talk_11__1_4_2 ADVP-NIM n105_a_ted_talk_11__1_4->n105_a_ted_talk_11__1_4_2 n105_a_ted_talk_11__1_4_1->n105_a_ted_talk_11__1_4_1_1 n105_a_ted_talk_11__1_4_2_1 ADVR n105_a_ted_talk_11__1_4_2->n105_a_ted_talk_11__1_4_2_1 n105_a_ted_talk_11__1_4_2_1->n105_a_ted_talk_11__1_4_2_1_1 n105_a_ted_talk_11__1_5->n105_a_ted_talk_11__1_5_1 n105_a_ted_talk_11__1_6->n105_a_ted_talk_11__1_6_1 
( (IP-MAT (PULQ <ldquo>)
          (NP-SBJ (N *))
          (MD;_cat_Vi_ Must;{must})
          (IP-INF-CAT (VB;_I_ try;{try})
                      (ADVP-NIM (ADVR harder;{hard})))
          (PUNC .)
          (PURQ <rdquo>))
  (ID 105_a_ted_talk_11))