( (IP-MAT (ILYR (ILYR (PP-NIM (P-ROLE For;{for})
                              (NP (D the;{the})
                                  (N time;{time})
                                  (IP-PPL (BAG;_I_ being;{be}))))
                      (NP-SBJ;{BERYL} (NPR Beryl;{Beryl}))
                      (BED;_La_ was;{be})
                      (ADJP-PRD (ADJ;_cat_ content;{content})
                                (IP-INF (TO to;{to})
                                        (VB;_Cn.i_ let;{let})
                                        (NP-OB1 (PRO it;{it}))
                                        (IP-INF-PRD (VB;_Ipr_ go;{go[at]})
                                                    (PP-CLR (P-ROLE at;{at})
                                                            (NP (D;_nphd_ that;{that})))))))
                (PUNC ,)
                (CONJP (CONJ but;{but})
                       (ILYR (NP-SBJ;{BERYL} (PRO she;{she}))
                             (VBD;_Tt_ resolved;{resolve})
                             (IP-INF-OB1 (TO to;{to})
                                         (HV;_phr_Vn<=>p_ have;{have[out]})
                                         (NP-OB1 (PRO it;{it}))
                                         (RP out;{out})
                                         (PP-NIM (P-ROLE with;{with})
                                                 (NP;{PIERS} (NPR Piers;{Piers})))
                                         (PP-SCON (P-CONN when;{when})
                                                  (IP-ADV (NP-SBJ;{OPPORTUNITY} (D a;{a})
                                                                                (ADJP (ADJ reasonable;{reasonable}))
                                                                                (N opportunity;{opportunity}))
                                                          (VBD;_Tn_ presented;{present})
                                                          (NP-OB1;{OPPORTUNITY} (PNX itself;{itself}))))))))
          (PUNC .))
  (ID 28_a_lob_n02))

arc(r_0028_0004__being,r_0028_0002__the_r_0028_0003__time,inv_arg0).
arc(r_0028_0006__was,r_0028_0002__the_r_0028_0003__time,r_0028_0001__For__nim).
arc(r_0028_0006__was,r_0028_0007__content,scope).
arc(r_0028_0007__content,r_0028_0009__let,scope).
arc(r_0028_0009__let,r_0028_0005__Beryl,arg0).
arc(r_0028_0009__let,r_0028_0010__it,arg1).
arc(r_0028_0009__let,r_0028_0011__go_r_0028_0012__at,prd).
arc(r_0028_0011__go_r_0028_0012__at,r_0028_0013__that,arg1).
arc(r_0028_0011__go_r_0028_0012__at,z_0028_5007,arg0).
arc(r_0028_0015__but,r_0028_0006__was,conj1).
arc(r_0028_0015__but,r_0028_0017__resolved,conj2).
arc(r_0028_0017__resolved,r_0028_0005__Beryl,arg0).
arc(r_0028_0017__resolved,r_0028_0024__when,arg1).
arc(r_0028_0019__have_r_0028_0021__out,r_0028_0005__Beryl,arg0).
arc(r_0028_0019__have_r_0028_0021__out,r_0028_0020__it,arg1).
arc(r_0028_0019__have_r_0028_0021__out,r_0028_0023__Piers,r_0028_0022__with__nim).
arc(r_0028_0024__when,r_0028_0019__have_r_0028_0021__out,scope).
arc(r_0028_0024__when,r_0028_0028__presented,restriction).
arc(r_0028_0025__a_r_0028_0027__opportunity,r_0028_0026__reasonable,attrib).
arc(r_0028_0028__presented,r_0028_0025__a_r_0028_0027__opportunity,arg0).
arc(r_0028_0028__presented,r_0028_0025__a_r_0028_0027__opportunity,arg1).

fof(formula,axiom,
    ? [R_0028_0004__BEING,R_0028_0002__THE_R_0028_0003__TIME,R_0028_0005__BERYL,R_0028_0010__IT,R_0028_0013__THAT,Z_0028_5007,R_0028_0011__GO_R_0028_0012__AT,R_0028_0006__WAS_R_0028_0007__CONTENT_R_0028_0009__LET,R_0028_0017__RESOLVED,R_0028_0015__BUT] :
      ( r_0028_0004__being(R_0028_0004__BEING)
      & r_0028_0005__Beryl(R_0028_0005__BERYL)
      & r_0028_0010__it(R_0028_0010__IT)
      & r_0028_0013__that(R_0028_0013__THAT)
      & z_0028_5007(Z_0028_5007)
      & r_0028_0015__but(R_0028_0015__BUT)
      & has_conj2(R_0028_0015__BUT,R_0028_0017__RESOLVED)
      & r_0028_0017__resolved(R_0028_0017__RESOLVED)
      & ! [R_0028_0028__PRESENTED,R_0028_0026__REASONABLE,R_0028_0025__A_R_0028_0027__OPPORTUNITY] :
          ( ( r_0028_0026__reasonable(R_0028_0026__REASONABLE)
            & r_0028_0028__presented(R_0028_0028__PRESENTED)
            & has_arg1(R_0028_0028__PRESENTED,R_0028_0025__A_R_0028_0027__OPPORTUNITY)
            & r_0028_0025__a_r_0028_0027__opportunity(R_0028_0025__A_R_0028_0027__OPPORTUNITY)
            & has_attrib(R_0028_0025__A_R_0028_0027__OPPORTUNITY,R_0028_0026__REASONABLE)
            & has_arg0(R_0028_0028__PRESENTED,R_0028_0025__A_R_0028_0027__OPPORTUNITY) )
         => ? [R_0028_0020__IT,R_0028_0023__PIERS,R_0028_0019__HAVE_R_0028_0021__OUT] :
              ( r_0028_0020__it(R_0028_0020__IT)
              & r_0028_0023__Piers(R_0028_0023__PIERS)
              & r_0028_0019__have_r_0028_0021__out(R_0028_0019__HAVE_R_0028_0021__OUT)
              & has_r_0028_0022__with__nim(R_0028_0019__HAVE_R_0028_0021__OUT,R_0028_0023__PIERS)
              & has_arg1(R_0028_0019__HAVE_R_0028_0021__OUT,R_0028_0020__IT)
              & has_arg0(R_0028_0019__HAVE_R_0028_0021__OUT,R_0028_0005__BERYL) ) )
      & has_arg0(R_0028_0017__RESOLVED,R_0028_0005__BERYL)
      & has_conj1(R_0028_0015__BUT,R_0028_0006__WAS_R_0028_0007__CONTENT_R_0028_0009__LET)
      & r_0028_0006__was_r_0028_0007__content_r_0028_0009__let(R_0028_0006__WAS_R_0028_0007__CONTENT_R_0028_0009__LET)
      & has_prd(R_0028_0006__WAS_R_0028_0007__CONTENT_R_0028_0009__LET,R_0028_0011__GO_R_0028_0012__AT)
      & r_0028_0011__go_r_0028_0012__at(R_0028_0011__GO_R_0028_0012__AT)
      & has_arg0(R_0028_0011__GO_R_0028_0012__AT,Z_0028_5007)
      & has_arg1(R_0028_0011__GO_R_0028_0012__AT,R_0028_0013__THAT)
      & has_arg1(R_0028_0006__WAS_R_0028_0007__CONTENT_R_0028_0009__LET,R_0028_0010__IT)
      & has_arg0(R_0028_0006__WAS_R_0028_0007__CONTENT_R_0028_0009__LET,R_0028_0005__BERYL)
      & has_r_0028_0001__For__nim(R_0028_0006__WAS_R_0028_0007__CONTENT_R_0028_0009__LET,R_0028_0002__THE_R_0028_0003__TIME)
      & r_0028_0002__the_r_0028_0003__time(R_0028_0002__THE_R_0028_0003__TIME)
      & has_inv_arg0(R_0028_0002__THE_R_0028_0003__TIME,R_0028_0004__BEING) ) ).