Context                Previous, Next                Top


105_a_ted_talk_11
“Must try harder.”

n105_a_ted_talk_11 n105_a_ted_talk_11__1_1_1 <ldquo> n105_a_ted_talk_11__1_2_1 Must n105_a_ted_talk_11__1_3_1_1 try n105_a_ted_talk_11__1_3_2_1_1 harder n105_a_ted_talk_11__1_4_1 . n105_a_ted_talk_11__1_5_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 MD;_cat_Vi_ n105_a_ted_talk_11__1->n105_a_ted_talk_11__1_2 n105_a_ted_talk_11__1_3 IP-INF-CAT n105_a_ted_talk_11__1->n105_a_ted_talk_11__1_3 n105_a_ted_talk_11__1_4 PUNC n105_a_ted_talk_11__1->n105_a_ted_talk_11__1_4 n105_a_ted_talk_11__1_5 PURQ n105_a_ted_talk_11__1->n105_a_ted_talk_11__1_5 n105_a_ted_talk_11__1_1->n105_a_ted_talk_11__1_1_1 n105_a_ted_talk_11__1_2->n105_a_ted_talk_11__1_2_1 n105_a_ted_talk_11__1_3_1 VB;_I_ n105_a_ted_talk_11__1_3->n105_a_ted_talk_11__1_3_1 n105_a_ted_talk_11__1_3_2 ADVP-NIM n105_a_ted_talk_11__1_3->n105_a_ted_talk_11__1_3_2 n105_a_ted_talk_11__1_3_1->n105_a_ted_talk_11__1_3_1_1 n105_a_ted_talk_11__1_3_2_1 ADVR n105_a_ted_talk_11__1_3_2->n105_a_ted_talk_11__1_3_2_1 n105_a_ted_talk_11__1_3_2_1->n105_a_ted_talk_11__1_3_2_1_1 n105_a_ted_talk_11__1_4->n105_a_ted_talk_11__1_4_1 n105_a_ted_talk_11__1_5->n105_a_ted_talk_11__1_5_1 
( (IP-MAT (PULQ <ldquo>)
          (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))


%3 r_0105_0003__try try z_0105_5002 r_0105_0003__try->z_0105_5002 [arg0] r_0105_0004__harder harder r_0105_0003__try->r_0105_0004__harder [nim] r_0105_0002__Must Must r_0105_0002__Must->r_0105_0003__try [scope] 
arc(r_0105_0002__Must,r_0105_0003__try,scope).
arc(r_0105_0003__try,r_0105_0004__harder,nim).
arc(r_0105_0003__try,z_0105_5002,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] z_0105_5002 r_0105_0002__Must_r_0105_0003__try->z_0105_5002 [arg0] 
fof(formula,axiom,
    ? [R_0105_0004__HARDER,Z_0105_5002,R_0105_0002__MUST_R_0105_0003__TRY] :
      ( r_0105_0004__harder(R_0105_0004__HARDER)
      & z_0105_5002(Z_0105_5002)
      & 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_0105_5002)
      & has_nim(R_0105_0002__MUST_R_0105_0003__TRY,R_0105_0004__HARDER) ) ).