arc(utterance_45_a_lob_n02_4, r_0045_0002__Oh_r_0045_0004__drop, part1).
arc(utterance_45_a_lob_n02_4, r_0045_0010__Be, part2).
arc(r_0045_0002__Oh_r_0045_0004__drop, r_0045_0005__that_r_0045_0006__nonsense, arg1).
arc(r_0045_0002__Oh_r_0045_0004__drop, r_0045_0008__Piers, nim19).
arc(r_0045_0002__Oh_r_0045_0004__drop, z_000_45_a_lob_n02_5, arg0).
arc(r_0045_0010__Be, r_0045_0008__Piers, prd).
arc(r_0045_0010__Be, z_000_45_a_lob_n02_24, arg0).
arc(r_0045_0015__exclaimed, utterance_45_a_lob_n02_4, arg1).
arc(r_0045_0015__exclaimed, r_0045_0014__she, arg0).
arc(r_0045_0015__exclaimed, r_0045_0019__exasperation, r_0045_0017__with_nim44).
arc(r_0045_0019__exasperation, r_0045_0018__mounting, attrib45).

fof(formula,axiom,
    ? [R_45_15_EXCLAIMED,R_45_14_SHE,UTTERANCE_45_A_LOB_N02_4,R_45_2_OH_DROP,Z_45_A_LOB_N02_5,R_45_5_THAT_NONSENSE,R_45_10_BE,Z_45_A_LOB_N02_24,R_45_8_PIERS,R_45_19_EXASPERATION,R_45_18_MOUNTING] :
      ( she(R_45_14_SHE)
      & that_nonsense(R_45_5_THAT_NONSENSE)
      & piers(R_45_8_PIERS)
      & mounting(R_45_18_MOUNTING)
      & exclaimed(R_45_15_EXCLAIMED,R_45_14_SHE,UTTERANCE_45_A_LOB_N02_4)
      & utterance_45_a_lob_n02_4(UTTERANCE_45_A_LOB_N02_4)
      & part1(UTTERANCE_45_A_LOB_N02_4,R_45_2_OH_DROP)
      & oh_drop(R_45_2_OH_DROP,Z_45_A_LOB_N02_5,R_45_5_THAT_NONSENSE)
      & nim19(R_45_2_OH_DROP,R_45_8_PIERS)
      & part2(UTTERANCE_45_A_LOB_N02_4,R_45_10_BE)
      & be(R_45_10_BE,Z_45_A_LOB_N02_24,R_45_8_PIERS)
      & with_nim44(R_45_15_EXCLAIMED,R_45_19_EXASPERATION)
      & exasperation(R_45_19_EXASPERATION)
      & attrib45(R_45_19_EXASPERATION,R_45_18_MOUNTING) ) ).

( (IP-MAT (PULQ <lquo>)
          (utterance-OB1 (IP-IMP (INTJ Oh)
                                 (PUNC ,)
                                 (VB;__ drop;{drop})
                                 (NP-OB1 (D that;{that})
                                         (N nonsense;{nonsense}))
                                 (PUNC ,)
                                 (NP-VOC;{PIERS} (NPR Piers;{Piers}))
                                 (PUNC !))
                         (IP-IMP (BE;_Ln_ Be;{be})
                                 (NP-PRD;{PIERS} (PNX yourself;{yourself}))))
          (PUNC ,)
          (PURQ <rquo>)
          (NP-SBJ;{BERYL} (PRO she;{she}))
          (VBD;_Tr_ exclaimed;{exclaim})
          (PUNC ,)
          (PP-NIM (P-ROLE with;{with})
                  (NP (ADJP (ADJ mounting;{mounting}))
                      (N exasperation;{exasperation})))
          (PUNC .))
  (ID 45_a_lob_n02))