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] r_0105_1001____star__ * r_0105_0003__try->r_0105_1001____star__ [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, r_0105_1001____star__, arg0).


%3 r_0105_0002__Must_r_0105_0003__try Must try r_0105_1001____star__ * r_0105_0002__Must_r_0105_0003__try->r_0105_1001____star__ [arg0] r_0105_0004__harder harder r_0105_0002__Must_r_0105_0003__try->r_0105_0004__harder [nim] 
fof(formula,axiom,
    ? [R_105_2_MUST_TRY,R_105_1001__STAR_,R_105_4_HARDER] :
      ( _star_(R_105_1001__STAR_)
      & harder(R_105_4_HARDER)
      & must_try(R_105_2_MUST_TRY,R_105_1001__STAR_)
      & nim12(R_105_2_MUST_TRY,R_105_4_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))