TSPC 87_a_alresford

87_a_alresford
Not long ago, I introduced a YTV colleague to Alresford, who asked ‘Why did you ever leave?’

( (IP-MAT (ADVP-TPC-NIM (ADVP (NEG Not;{not})
                              (ADV long;{long}))
                        (ADV ago;{ago}))
          (PUNC ,)
          (NP-SBJ (PRO I;{I}))
          (VBD;_Tn.pr_ introduced;{introduce[to]})
          (NP-OB1 (D a;{a})
                  (NPR YTV;{YTV})
                  (N colleague;{colleague})
                  (IP-REL *ICH*-148))
          (PP-CLR (P-ROLE to;{to})
                  (NP (NPR Alresford;{Alresford})))
          (PUNC ,)
          (IP-REL-EPD-148 (NP-SBJ (RPRO who;{who}))
                          (VBD;_Tr_ asked;{ask})
                          (PULQ <lsquo>)
                          (CP-QUE-OB1 (IP-SUB (ADVP-NIM (WADV Why;{why}))
                                              (DOD did;{do})
                                              (NP-SBJ (PRO you;{you}))
                                              (ADVP-NIM (ADV ever;{ever}))
                                              (VB;_I_ leave;{leave}))
                                      (PUNC ?))
                          (PURQ <rsquo>)))
  (ID 87_a_alresford))

arc(r_0087_0003__ago,r_0087_0001__Not_r_0087_0002__long,qual).
arc(r_0087_0006__introduced_r_0087_0010__to,r_0087_0003__ago,nim).
arc(r_0087_0006__introduced_r_0087_0010__to,r_0087_0005__I,arg0).
arc(r_0087_0006__introduced_r_0087_0010__to,r_0087_0007__a_r_0087_0008__YTV_r_0087_0009__colleague,arg1).
arc(r_0087_0006__introduced_r_0087_0010__to,r_0087_0011__Alresford,arg2).
arc(r_0087_0014__asked,r_0087_0007__a_r_0087_0008__YTV_r_0087_0009__colleague,arg0).
arc(r_0087_0014__asked,r_0087_0017__did_r_0087_0020__leave,arg1).
arc(r_0087_0017__did_r_0087_0020__leave,r_0087_0016__Why,nim).
arc(r_0087_0017__did_r_0087_0020__leave,r_0087_0018__you,arg0).
arc(r_0087_0017__did_r_0087_0020__leave,r_0087_0019__ever,nim).

fof(formula,axiom,
    ? [R_0087_0001__NOT_R_0087_0002__LONG,R_0087_0003__AGO,R_0087_0005__I,R_0087_0007__A_R_0087_0008__YTV_R_0087_0009__COLLEAGUE,R_0087_0011__ALRESFORD,R_0087_0006__INTRODUCED_R_0087_0010__TO,R_0087_0016__WHY,R_0087_0018__YOU,R_0087_0019__EVER,R_0087_0017__DID_R_0087_0020__LEAVE,R_0087_0014__ASKED] :
      ( r_0087_0001__Not_r_0087_0002__long(R_0087_0001__NOT_R_0087_0002__LONG)
      & r_0087_0005__I(R_0087_0005__I)
      & r_0087_0007__a_r_0087_0008__YTV_r_0087_0009__colleague(R_0087_0007__A_R_0087_0008__YTV_R_0087_0009__COLLEAGUE)
      & r_0087_0011__Alresford(R_0087_0011__ALRESFORD)
      & r_0087_0016__Why(R_0087_0016__WHY)
      & r_0087_0018__you(R_0087_0018__YOU)
      & r_0087_0019__ever(R_0087_0019__EVER)
      & r_0087_0014__asked(R_0087_0014__ASKED)
      & has_arg1(R_0087_0014__ASKED,R_0087_0017__DID_R_0087_0020__LEAVE)
      & r_0087_0017__did_r_0087_0020__leave(R_0087_0017__DID_R_0087_0020__LEAVE)
      & has_nim(R_0087_0017__DID_R_0087_0020__LEAVE,R_0087_0019__EVER)
      & has_arg0(R_0087_0017__DID_R_0087_0020__LEAVE,R_0087_0018__YOU)
      & has_nim(R_0087_0017__DID_R_0087_0020__LEAVE,R_0087_0016__WHY)
      & has_arg0(R_0087_0014__ASKED,R_0087_0007__A_R_0087_0008__YTV_R_0087_0009__COLLEAGUE)
      & r_0087_0006__introduced_r_0087_0010__to(R_0087_0006__INTRODUCED_R_0087_0010__TO)
      & has_arg2(R_0087_0006__INTRODUCED_R_0087_0010__TO,R_0087_0011__ALRESFORD)
      & has_arg1(R_0087_0006__INTRODUCED_R_0087_0010__TO,R_0087_0007__A_R_0087_0008__YTV_R_0087_0009__COLLEAGUE)
      & has_arg0(R_0087_0006__INTRODUCED_R_0087_0010__TO,R_0087_0005__I)
      & has_nim(R_0087_0006__INTRODUCED_R_0087_0010__TO,R_0087_0003__AGO)
      & r_0087_0003__ago(R_0087_0003__AGO)
      & has_qual(R_0087_0003__AGO,R_0087_0001__NOT_R_0087_0002__LONG) ) ).