TSPC 87_a_lob

87_a_lob_n02
‘What harm could possibly have come to Forrest through Sir John's nonsense?’

( (CP-QUE-MAT (PULQ <lquo>)
              (IP-SUB (NP-SBJ (WD What;{what})
                              (N harm;{harm}))
                      (MD;_cat_Vi_ could;{can})
                      (IP-INF-CAT (ADVP-NIM (ADV possibly;{possibly}))
                                  (HV;_cat_Ve_ have;{have})
                                  (IP-PPL-CAT (VVN;__ come;{come})
                                              (PP-NIM (P-ROLE to;{to})
                                                      (NP;{FORREST} (NPR Forrest;{Forrest})))
                                              (PP-NIM (P-ROLE through;{through})
                                                      (NP (NP-GEN;{SIR_JOHN} (N Sir;{sir})
                                                                             (NPR John;{John})
                                                                             (GENM <apos>s))
                                                          (N nonsense;{nonsense}))))))
              (PUNC ?)
              (PURQ <rquo>))
  (ID 87_a_lob_n02))

arc(r_0087_0004__could,r_0087_0006__have,scope).
arc(r_0087_0006__have,r_0087_0005__possibly,nim).
arc(r_0087_0006__have,r_0087_0007__come,scope).
arc(r_0087_0007__come,r_0087_0002__What_r_0087_0003__harm,arg0).
arc(r_0087_0007__come,r_0087_0009__Forrest,r_0087_0008__to__nim).
arc(r_0087_0007__come,r_0087_0014__nonsense,r_0087_0010__through__nim).
arc(r_0087_0014__nonsense,r_0087_0011__Sir_r_0087_0012__John,gen).

fof(formula,axiom,
    ? [R_0087_0005__POSSIBLY,R_0087_0002__WHAT_R_0087_0003__HARM,R_0087_0009__FORREST,R_0087_0011__SIR_R_0087_0012__JOHN,R_0087_0014__NONSENSE,R_0087_0004__COULD_R_0087_0006__HAVE_R_0087_0007__COME] :
      ( r_0087_0002__What_r_0087_0003__harm(R_0087_0002__WHAT_R_0087_0003__HARM)
      & r_0087_0005__possibly(R_0087_0005__POSSIBLY)
      & r_0087_0009__Forrest(R_0087_0009__FORREST)
      & r_0087_0011__Sir_r_0087_0012__John(R_0087_0011__SIR_R_0087_0012__JOHN)
      & r_0087_0004__could_r_0087_0006__have_r_0087_0007__come(R_0087_0004__COULD_R_0087_0006__HAVE_R_0087_0007__COME)
      & has_r_0087_0010__through__nim(R_0087_0004__COULD_R_0087_0006__HAVE_R_0087_0007__COME,R_0087_0014__NONSENSE)
      & r_0087_0014__nonsense(R_0087_0014__NONSENSE)
      & has_gen(R_0087_0014__NONSENSE,R_0087_0011__SIR_R_0087_0012__JOHN)
      & has_r_0087_0008__to__nim(R_0087_0004__COULD_R_0087_0006__HAVE_R_0087_0007__COME,R_0087_0009__FORREST)
      & has_arg0(R_0087_0004__COULD_R_0087_0006__HAVE_R_0087_0007__COME,R_0087_0002__WHAT_R_0087_0003__HARM)
      & has_nim(R_0087_0004__COULD_R_0087_0006__HAVE_R_0087_0007__COME,R_0087_0005__POSSIBLY) ) ).