TSPC 116_a_lob

116_a_lob_n02
‘You've an answer — of sorts — for everything,’ she said shortly.

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,
    ? [R_116_15_SAID,R_116_14_SHE,UTTERANCE_116_A_LOB_N02_4,R_116_16_SHORTLY] :
      ( she(R_116_14_SHE)
      & shortly(R_116_16_SHORTLY)
      & said(R_116_15_SAID,R_116_14_SHE,UTTERANCE_116_A_LOB_N02_4)
      & ! [Z_116_A_LOB_N02_29] :
          ( true
         => ? [R_116_3__APOS_VE,R_116_2_YOU,R_116_4_AN_ANSWER,R_116_8_SORTS] :
              ( you(R_116_2_YOU)
              & sorts(R_116_8_SORTS)
              & _apos_ve(R_116_3__APOS_VE,R_116_2_YOU,R_116_4_AN_ANSWER)
              & an_answer(R_116_4_AN_ANSWER)
              & of(R_116_4_AN_ANSWER,R_116_8_SORTS)
              & for_nim29(R_116_3__APOS_VE,Z_116_A_LOB_N02_29) ) )
      & part1(PART1)
      & utterance_116_a_lob_n02_4(UTTERANCE_116_A_LOB_N02_4)
      & nim41(R_116_15_SAID,R_116_16_SHORTLY) ) ).

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