TSPC 28_a_lob

28_a_lob_n02
For the time being Beryl was content to let it go at that, but she resolved to have it out with Piers when a reasonable opportunity presented itself.

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_0028_0002__THE_R_0028_0003__TIME,R_0028_0004__BEING,R_0028_0005__BERYL,R_0028_0013__THAT,X_000_28_A_LOB_N02_31,R_0028_0011__GO,Z_000_28_A_LOB_N02_23,R_0028_0008__TO_R_0028_0009__LET,R_0028_0007__CONTENT,R_0028_0006__WAS,R_0028_0017__RESOLVED,R_0028_0015__BUT] :
      ( r_0028_0002__the_r_0028_0003__time(R_0028_0002__THE_R_0028_0003__TIME)
      & r_0028_0005__Beryl(R_0028_0005__BERYL)
      & r_0028_0013__that(R_0028_0013__THAT)
      & x_000_28_a_lob_n02_31(X_000_28_A_LOB_N02_31)
      & z_000_28_a_lob_n02_23(Z_000_28_A_LOB_N02_23)
      & 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_attrib74(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_0023__PIERS,R_0028_0018__TO_R_0028_0019__HAVE_R_0028_0021__OUT] :
              ( r_0028_0023__Piers(R_0028_0023__PIERS)
              & r_0028_0018__to_r_0028_0019__have_r_0028_0021__out(R_0028_0018__TO_R_0028_0019__HAVE_R_0028_0021__OUT)
              & has_r_0028_0022__with_nim64(R_0028_0018__TO_R_0028_0019__HAVE_R_0028_0021__OUT,R_0028_0023__PIERS)
              & has_arg1(R_0028_0018__TO_R_0028_0019__HAVE_R_0028_0021__OUT,R_0028_0013__THAT)
              & has_arg0(R_0028_0018__TO_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_0006__was(R_0028_0006__WAS)
      & has_prd(R_0028_0006__WAS,R_0028_0007__CONTENT)
      & r_0028_0007__content(R_0028_0007__CONTENT)
      & has_emb23(R_0028_0007__CONTENT,R_0028_0008__TO_R_0028_0009__LET)
      & r_0028_0008__to_r_0028_0009__let(R_0028_0008__TO_R_0028_0009__LET)
      & has_arg0(R_0028_0008__TO_R_0028_0009__LET,Z_000_28_A_LOB_N02_23)
      & has_prd(R_0028_0008__TO_R_0028_0009__LET,R_0028_0011__GO)
      & r_0028_0011__go(R_0028_0011__GO)
      & has_arg0(R_0028_0011__GO,X_000_28_A_LOB_N02_31)
      & has_r_0028_0012__at_clr37(R_0028_0011__GO,R_0028_0013__THAT)
      & has_arg1(R_0028_0008__TO_R_0028_0009__LET,R_0028_0002__THE_R_0028_0003__TIME)
      & has_arg0(R_0028_0006__WAS,R_0028_0005__BERYL)
      & has_r_0028_0001__For_nim7(R_0028_0006__WAS,R_0028_0002__THE_R_0028_0003__TIME)
      & r_0028_0004__being(R_0028_0004__BEING)
      & has_arg0(R_0028_0004__BEING,R_0028_0002__THE_R_0028_0003__TIME) ) ).

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