arc(utterance_116_a_lob_n02_4, r_0116_0011__everything_quant, part1).
arc(r_0116_0003___apos_ve, r_0116_0002__You, arg0).
arc(r_0116_0003___apos_ve, r_0116_0004__an_r_0116_0005__answer, arg1).
arc(r_0116_0003___apos_ve, z_000_116_a_lob_n02_29, r_0116_0010__for_nim29).
arc(r_0116_0004__an_r_0116_0005__answer, r_0116_0008__sorts, r_0116_0007__of).
arc(r_0116_0011__everything_quant, r_0116_0003___apos_ve, scope).
arc(r_0116_0011__everything_quant, z_000_116_a_lob_n02_29, restriction).
arc(r_0116_0015__said, utterance_116_a_lob_n02_4, arg1).
arc(r_0116_0015__said, r_0116_0014__she, arg0).
arc(r_0116_0015__said, r_0116_0016__shortly, nim41).

fof(formula,axiom,
    ? [UTTERANCE_116_A_LOB_N02_4,R_0116_0014__SHE,R_0116_0016__SHORTLY,R_0116_0015__SAID] :
      ( r_0116_0014__she(R_0116_0014__SHE)
      & r_0116_0016__shortly(R_0116_0016__SHORTLY)
      & r_0116_0015__said(R_0116_0015__SAID)
      & has_nim41(R_0116_0015__SAID,R_0116_0016__SHORTLY)
      & has_arg0(R_0116_0015__SAID,R_0116_0014__SHE)
      & has_arg1(R_0116_0015__SAID,UTTERANCE_116_A_LOB_N02_4)
      & utterance_116_a_lob_n02_4(UTTERANCE_116_A_LOB_N02_4)
      & ! [Z_000_116_A_LOB_N02_29] :
          ( z_000_116_a_lob_n02_29(Z_000_116_A_LOB_N02_29)
         => ? [R_0116_0002__YOU,R_0116_0008__SORTS,R_0116_0004__AN_R_0116_0005__ANSWER,R_0116_0003___APOS_VE] :
              ( r_0116_0002__You(R_0116_0002__YOU)
              & r_0116_0008__sorts(R_0116_0008__SORTS)
              & r_0116_0003___apos_ve(R_0116_0003___APOS_VE)
              & has_r_0116_0010__for_nim29(R_0116_0003___APOS_VE,Z_000_116_A_LOB_N02_29)
              & has_arg1(R_0116_0003___APOS_VE,R_0116_0004__AN_R_0116_0005__ANSWER)
              & r_0116_0004__an_r_0116_0005__answer(R_0116_0004__AN_R_0116_0005__ANSWER)
              & has_r_0116_0007__of(R_0116_0004__AN_R_0116_0005__ANSWER,R_0116_0008__SORTS)
              & has_arg0(R_0116_0003___APOS_VE,R_0116_0002__YOU) ) ) ) ).

( (IP-MAT (PULQ <lquo>)
          (utterance-OB1 (IP-MAT (NP-SBJ;{PIERS} (PRO You;{you}))
                                 (HVP;_Tn_ <apos>ve;{have})
                                 (NP-OB1 (D an;{an})
                                         (N answer;{answer})
                                         (PUNC <mdash>)
                                         (PP (P-ROLE of;{of})
                                             (NP (NS sorts;{sort})))
                                         (PUNC <mdash>))
                                 (PP-NIM (P-ROLE for;{for})
                                         (NP (Q;_nphd_ everything;{everything})))))
          (PUNC ,)
          (PURQ <rquo>)
          (NP-SBJ;{BERYL} (PRO she;{she}))
          (VBD;_Tr_ said;{say})
          (ADVP-NIM (ADV shortly;{shortly}))
          (PUNC .))
  (ID 116_a_lob_n02))