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_0004__harder harder r_0105_0002__Must_r_0105_0003__try->r_0105_0004__harder [nim] r_0105_1001____star__ * r_0105_0002__Must_r_0105_0003__try->r_0105_1001____star__ [arg0] 
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_3 <ldquo> n105_a_ted_talk_11_6 _*_ n105_a_ted_talk_11_8 Must n105_a_ted_talk_11_11 try n105_a_ted_talk_11_14 harder n105_a_ted_talk_11_16 . n105_a_ted_talk_11_18 <rdquo> n105_a_ted_talk_11_1 IP-MAT n105_a_ted_talk_11_2 PULQ n105_a_ted_talk_11_1->n105_a_ted_talk_11_2 n105_a_ted_talk_11_4 NP-SBJ n105_a_ted_talk_11_1->n105_a_ted_talk_11_4 n105_a_ted_talk_11_7 MD;_cat_Vi_ n105_a_ted_talk_11_1->n105_a_ted_talk_11_7 n105_a_ted_talk_11_9 IP-INF-CAT n105_a_ted_talk_11_1->n105_a_ted_talk_11_9 n105_a_ted_talk_11_15 PUNC n105_a_ted_talk_11_1->n105_a_ted_talk_11_15 n105_a_ted_talk_11_17 PURQ n105_a_ted_talk_11_1->n105_a_ted_talk_11_17 n105_a_ted_talk_11_2->n105_a_ted_talk_11_3 n105_a_ted_talk_11_5 N n105_a_ted_talk_11_4->n105_a_ted_talk_11_5 n105_a_ted_talk_11_5->n105_a_ted_talk_11_6 n105_a_ted_talk_11_7->n105_a_ted_talk_11_8 n105_a_ted_talk_11_10 VB;_I_ n105_a_ted_talk_11_9->n105_a_ted_talk_11_10 n105_a_ted_talk_11_12 ADVP-NIM n105_a_ted_talk_11_9->n105_a_ted_talk_11_12 n105_a_ted_talk_11_10->n105_a_ted_talk_11_11 n105_a_ted_talk_11_13 ADVR n105_a_ted_talk_11_12->n105_a_ted_talk_11_13 n105_a_ted_talk_11_13->n105_a_ted_talk_11_14 n105_a_ted_talk_11_15->n105_a_ted_talk_11_16 n105_a_ted_talk_11_17->n105_a_ted_talk_11_18 
( (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))