( (IP-MAT (ILYR (ILYR (NP-SBJ (D The;{the})
                              (N breaststroke;{breaststroke}))
                      (BEP;_La_ is;{be})
                      (ADJP-PRD (ADVP (ADV very;{very}))
                                (ADJ hard;{hard}))
                      (IP-INF-NSBJ;{EXPLAIN} (NP-LGS *)
                                             (TO to;{to})
                                             (VB;_Tn.pr_ explain;{explain[in]})
                                             (PP-CLR (P-ROLE in;{in})
                                                     (NP (NS words;{word})))))
                (CONJP (CONJ but;{but})
                       (ILYR (NP-SBJ (PRO I;{I}))
                             (BEP;_cat_Vg_ am;{be})
                             (IP-PPL-CAT (VAG;_cat_Vt_ going;{go})
                                         (IP-INF-CAT (TO to;{to})
                                                     (VB;_It_ try;{try})
                                                     (IP-INF-CLR (TO to;{to})
                                                                 (DO;_Tn_ do;{do})
                                                                 (NP-OB1;{EXPLAIN} (PRO it;{it}))))))))
          (PUNC .))
  (ID 3_a_stories_09_m14))

arc(r_0003_0003__is,r_0003_0005__hard,prd).
arc(r_0003_0003__is,r_0003_0007__explain_r_0003_0008__in,arg0).
arc(r_0003_0005__hard,r_0003_0004__very,qual).
arc(r_0003_0007__explain_r_0003_0008__in,r_0003_0001__The_r_0003_0002__breaststroke,arg1).
arc(r_0003_0007__explain_r_0003_0008__in,r_0003_0009__words,arg2).
arc(r_0003_0007__explain_r_0003_0008__in,z_0003_5004___star_,arg0).
arc(r_0003_0010__but,r_0003_0003__is,conj1).
arc(r_0003_0010__but,r_0003_0012__am,conj2).
arc(r_0003_0012__am,r_0003_0013__going,scope).
arc(r_0003_0013__going,r_0003_0015__try,scope).
arc(r_0003_0015__try,r_0003_0011__I,arg0).
arc(r_0003_0015__try,r_0003_0017__do,clr).
arc(r_0003_0017__do,r_0003_0007__explain_r_0003_0008__in,arg1).
arc(r_0003_0017__do,r_0003_0011__I,arg0).

fof(formula,axiom,
    ? [R_0003_0004__VERY,R_0003_0005__HARD,R_0003_0001__THE_R_0003_0002__BREASTSTROKE,R_0003_0009__WORDS,Z_0003_5004___STAR_,R_0003_0007__EXPLAIN_R_0003_0008__IN,R_0003_0003__IS,R_0003_0011__I,R_0003_0017__DO,R_0003_0012__AM_R_0003_0013__GOING_R_0003_0015__TRY,R_0003_0010__BUT] :
      ( r_0003_0001__The_r_0003_0002__breaststroke(R_0003_0001__THE_R_0003_0002__BREASTSTROKE)
      & r_0003_0004__very(R_0003_0004__VERY)
      & r_0003_0009__words(R_0003_0009__WORDS)
      & r_0003_0011__I(R_0003_0011__I)
      & z_0003_5004___star_(Z_0003_5004___STAR_)
      & r_0003_0010__but(R_0003_0010__BUT)
      & has_conj2(R_0003_0010__BUT,R_0003_0012__AM_R_0003_0013__GOING_R_0003_0015__TRY)
      & r_0003_0012__am_r_0003_0013__going_r_0003_0015__try(R_0003_0012__AM_R_0003_0013__GOING_R_0003_0015__TRY)
      & has_clr(R_0003_0012__AM_R_0003_0013__GOING_R_0003_0015__TRY,R_0003_0017__DO)
      & r_0003_0017__do(R_0003_0017__DO)
      & has_arg0(R_0003_0017__DO,R_0003_0011__I)
      & has_arg1(R_0003_0017__DO,R_0003_0007__EXPLAIN_R_0003_0008__IN)
      & r_0003_0007__explain_r_0003_0008__in(R_0003_0007__EXPLAIN_R_0003_0008__IN)
      & has_arg0(R_0003_0007__EXPLAIN_R_0003_0008__IN,Z_0003_5004___STAR_)
      & has_arg2(R_0003_0007__EXPLAIN_R_0003_0008__IN,R_0003_0009__WORDS)
      & has_arg1(R_0003_0007__EXPLAIN_R_0003_0008__IN,R_0003_0001__THE_R_0003_0002__BREASTSTROKE)
      & has_arg0(R_0003_0012__AM_R_0003_0013__GOING_R_0003_0015__TRY,R_0003_0011__I)
      & has_conj1(R_0003_0010__BUT,R_0003_0003__IS)
      & r_0003_0003__is(R_0003_0003__IS)
      & has_arg0(R_0003_0003__IS,R_0003_0007__EXPLAIN_R_0003_0008__IN)
      & has_prd(R_0003_0003__IS,R_0003_0005__HARD)
      & r_0003_0005__hard(R_0003_0005__HARD)
      & has_qual(R_0003_0005__HARD,R_0003_0004__VERY) ) ).