TSPC 116_a_lob

116_a_lob_n02
‘You've an answer — of sorts — for everything,’ she said 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))

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_0116_5007,r_0116_0010__for__nim).
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_0116_5007,restriction).
arc(r_0116_0015__said,r_0116_0014__she,arg0).
arc(r_0116_0015__said,r_0116_0016__shortly,nim).
arc(r_0116_0015__said,z_0116_5002__utterance,arg1).
arc(z_0116_5002__utterance,r_0116_0011__everything__quant,part1).

fof(formula,axiom,
    ? [R_0116_0014__SHE,R_0116_0016__SHORTLY,Z_0116_5002__UTTERANCE,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_arg1(R_0116_0015__SAID,Z_0116_5002__UTTERANCE)
      & z_0116_5002__utterance(Z_0116_5002__UTTERANCE)
      & ! [Z_0116_5007] :
          ( z_0116_5007(Z_0116_5007)
         => ? [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__nim(R_0116_0003___APOS_VE,Z_0116_5007)
              & 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) ) )
      & has_nim(R_0116_0015__SAID,R_0116_0016__SHORTLY)
      & has_arg0(R_0116_0015__SAID,R_0116_0014__SHE) ) ).