arc(r_0028_0004__being, r_0028_0002__the_r_0028_0003__time, arg0).
arc(r_0028_0006__was, r_0028_0002__the_r_0028_0003__time, r_0028_0001__For_nim7).
arc(r_0028_0006__was, r_0028_0005__Beryl, arg0).
arc(r_0028_0006__was, r_0028_0007__content, prd).
arc(r_0028_0007__content, r_0028_0008__to_r_0028_0009__let, emb23).
arc(r_0028_0008__to_r_0028_0009__let, r_0028_0002__the_r_0028_0003__time, arg1).
arc(r_0028_0008__to_r_0028_0009__let, r_0028_0011__go, prd).
arc(r_0028_0008__to_r_0028_0009__let, z_000_28_a_lob_n02_23, arg0).
arc(r_0028_0011__go, r_0028_0013__that, r_0028_0012__at_clr37).
arc(r_0028_0011__go, x_000_28_a_lob_n02_31, 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_0018__to_r_0028_0019__have_r_0028_0021__out, r_0028_0005__Beryl, arg0).
arc(r_0028_0018__to_r_0028_0019__have_r_0028_0021__out, r_0028_0013__that, arg1).
arc(r_0028_0018__to_r_0028_0019__have_r_0028_0021__out, r_0028_0023__Piers, r_0028_0022__with_nim64).
arc(r_0028_0024__when, r_0028_0018__to_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, attrib74).
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_28_4_BEING,R_28_15_BUT,R_28_6_WAS,R_28_7_CONTENT,R_28_8_TO_LET,Z_28_A_LOB_N02_23,R_28_11_GO,X_28_A_LOB_N02_31,R_28_13_THAT,R_28_2_THE_TIME,R_28_17_RESOLVED,R_28_5_BERYL] :
      ( that(R_28_13_THAT)
      & the_time(R_28_2_THE_TIME)
      & beryl(R_28_5_BERYL)
      & being(R_28_4_BEING,R_28_2_THE_TIME)
      & but(R_28_15_BUT)
      & conj1(R_28_15_BUT,R_28_6_WAS)
      & was(R_28_6_WAS,R_28_5_BERYL,R_28_7_CONTENT)
      & content(R_28_7_CONTENT)
      & emb23(R_28_7_CONTENT,R_28_8_TO_LET)
      & to_let(R_28_8_TO_LET,Z_28_A_LOB_N02_23,R_28_2_THE_TIME,R_28_11_GO)
      & go(R_28_11_GO,X_28_A_LOB_N02_31)
      & at_clr37(R_28_11_GO,R_28_13_THAT)
      & for_nim7(R_28_6_WAS,R_28_2_THE_TIME)
      & conj2(R_28_15_BUT,R_28_17_RESOLVED)
      & ! [R_28_28_PRESENTED,R_28_25_A_OPPORTUNITY,R_28_26_REASONABLE] :
          ( ( reasonable(R_28_26_REASONABLE)
            & presented(R_28_28_PRESENTED,R_28_25_A_OPPORTUNITY,R_28_25_A_OPPORTUNITY)
            & a_opportunity(R_28_25_A_OPPORTUNITY)
            & attrib74(R_28_25_A_OPPORTUNITY,R_28_26_REASONABLE) )
         => ? [R_28_18_TO_HAVE_OUT,R_28_23_PIERS] :
              ( piers(R_28_23_PIERS)
              & to_have_out(R_28_18_TO_HAVE_OUT,R_28_5_BERYL,R_28_13_THAT)
              & with_nim64(R_28_18_TO_HAVE_OUT,R_28_23_PIERS) ) )
      & arg1(ARG1)
      & resolved(R_28_17_RESOLVED,R_28_5_BERYL) ) ).

( (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))