arc(utterance_92_a_alresford_42, r_0092_0017__did_r_0092_0020__leave, part1).
arc(r_0092_0003__ago, r_0092_0001__Not_r_0092_0002__long, qual3).
arc(r_0092_0006__introduced, r_0092_0003__ago, nim2).
arc(r_0092_0006__introduced, r_0092_0005__I, arg0).
arc(r_0092_0006__introduced, r_0092_0007__a_r_0092_0008__YTV_r_0092_0009__colleague, arg1).
arc(r_0092_0006__introduced, r_0092_0011__Alresford, r_0092_0010__to_clr29).
arc(r_0092_0014__asked, utterance_92_a_alresford_42, arg1).
arc(r_0092_0014__asked, r_0092_0007__a_r_0092_0008__YTV_r_0092_0009__colleague, arg0).
arc(r_0092_0017__did_r_0092_0020__leave, r_0092_0016__Why, nim45).
arc(r_0092_0017__did_r_0092_0020__leave, r_0092_0018__you, arg0).
arc(r_0092_0017__did_r_0092_0020__leave, r_0092_0019__ever, nim53).

fof(formula,axiom,
    ? [R_0092_0001__NOT_R_0092_0002__LONG,R_0092_0003__AGO,R_0092_0005__I,R_0092_0007__A_R_0092_0008__YTV_R_0092_0009__COLLEAGUE,R_0092_0011__ALRESFORD,R_0092_0006__INTRODUCED,R_0092_0016__WHY,R_0092_0018__YOU,R_0092_0019__EVER,R_0092_0017__DID_R_0092_0020__LEAVE,UTTERANCE_92_A_ALRESFORD_42,R_0092_0014__ASKED] :
      ( r_0092_0001__Not_r_0092_0002__long(R_0092_0001__NOT_R_0092_0002__LONG)
      & r_0092_0005__I(R_0092_0005__I)
      & r_0092_0007__a_r_0092_0008__YTV_r_0092_0009__colleague(R_0092_0007__A_R_0092_0008__YTV_R_0092_0009__COLLEAGUE)
      & r_0092_0011__Alresford(R_0092_0011__ALRESFORD)
      & r_0092_0016__Why(R_0092_0016__WHY)
      & r_0092_0018__you(R_0092_0018__YOU)
      & r_0092_0019__ever(R_0092_0019__EVER)
      & r_0092_0014__asked(R_0092_0014__ASKED)
      & has_arg0(R_0092_0014__ASKED,R_0092_0007__A_R_0092_0008__YTV_R_0092_0009__COLLEAGUE)
      & has_arg1(R_0092_0014__ASKED,UTTERANCE_92_A_ALRESFORD_42)
      & utterance_92_a_alresford_42(UTTERANCE_92_A_ALRESFORD_42)
      & has_part1(UTTERANCE_92_A_ALRESFORD_42,R_0092_0017__DID_R_0092_0020__LEAVE)
      & r_0092_0017__did_r_0092_0020__leave(R_0092_0017__DID_R_0092_0020__LEAVE)
      & has_nim53(R_0092_0017__DID_R_0092_0020__LEAVE,R_0092_0019__EVER)
      & has_arg0(R_0092_0017__DID_R_0092_0020__LEAVE,R_0092_0018__YOU)
      & has_nim45(R_0092_0017__DID_R_0092_0020__LEAVE,R_0092_0016__WHY)
      & r_0092_0006__introduced(R_0092_0006__INTRODUCED)
      & has_r_0092_0010__to_clr29(R_0092_0006__INTRODUCED,R_0092_0011__ALRESFORD)
      & has_arg1(R_0092_0006__INTRODUCED,R_0092_0007__A_R_0092_0008__YTV_R_0092_0009__COLLEAGUE)
      & has_arg0(R_0092_0006__INTRODUCED,R_0092_0005__I)
      & has_nim2(R_0092_0006__INTRODUCED,R_0092_0003__AGO)
      & r_0092_0003__ago(R_0092_0003__AGO)
      & has_qual3(R_0092_0003__AGO,R_0092_0001__NOT_R_0092_0002__LONG) ) ).

( (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>)
                          (utterance-OB1 (CP-QUE-MAT (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 92_a_alresford))