( (IP-MAT (CONJ;_cl_ But;{but})
          (NP-SBJ;{SON_OF_A} (PRO he;{he}))
          (DOD did;{do})
          (NEG;_clitic_ n<apos>t;{not})
          (VB;_Tn_ change;{change})
          (NP-OB1;{PRESENTATION} (PRO it;{it}))
          (PUNC <hyphen>)
          (PRN (IP-MAT (NP-SBJ;{SON_OF_A} (PRO he;{he}))
                       (ADVP-NIM (ADV just;{just}))
                       (VBD;_Tn_ changed;{change})
                       (NP-OB1 (D the;{the})
                               (N name;{name})
                               (PP (P-ROLE on;{on})
                                   (NP (D the;{the})
                                       (N front;{front}))))))
          (PUNC .))
  (ID 15_a_lockdown;speaker=a))

arc(r_0015_0003__did_r_0015_0005__change,r_0015_0002__he,arg0).
arc(r_0015_0003__did_r_0015_0005__change,r_0015_0006__it,arg1).
arc(r_0015_0003__did_r_0015_0005__change,r_0015_0010__changed,prn).
arc(r_0015_0004__n_apos_t,r_0015_0003__did_r_0015_0005__change,keep_scope).
arc(r_0015_0010__changed,r_0015_0002__he,arg0).
arc(r_0015_0010__changed,r_0015_0009__just,nim).
arc(r_0015_0010__changed,r_0015_0011__the_r_0015_0012__name,arg1).
arc(r_0015_0011__the_r_0015_0012__name,r_0015_0014__the_r_0015_0015__front,r_0015_0013__on).

fof(formula,axiom,
    ~ ? [R_0015_0002__HE,R_0015_0006__IT,R_0015_0009__JUST,R_0015_0014__THE_R_0015_0015__FRONT,R_0015_0011__THE_R_0015_0012__NAME,R_0015_0010__CHANGED,R_0015_0003__DID_R_0015_0005__CHANGE] :
        ( r_0015_0002__he(R_0015_0002__HE)
        & r_0015_0006__it(R_0015_0006__IT)
        & r_0015_0009__just(R_0015_0009__JUST)
        & r_0015_0014__the_r_0015_0015__front(R_0015_0014__THE_R_0015_0015__FRONT)
        & r_0015_0003__did_r_0015_0005__change(R_0015_0003__DID_R_0015_0005__CHANGE)
        & has_prn(R_0015_0003__DID_R_0015_0005__CHANGE,R_0015_0010__CHANGED)
        & r_0015_0010__changed(R_0015_0010__CHANGED)
        & has_arg1(R_0015_0010__CHANGED,R_0015_0011__THE_R_0015_0012__NAME)
        & r_0015_0011__the_r_0015_0012__name(R_0015_0011__THE_R_0015_0012__NAME)
        & has_r_0015_0013__on(R_0015_0011__THE_R_0015_0012__NAME,R_0015_0014__THE_R_0015_0015__FRONT)
        & has_nim(R_0015_0010__CHANGED,R_0015_0009__JUST)
        & has_arg0(R_0015_0010__CHANGED,R_0015_0002__HE)
        & has_arg1(R_0015_0003__DID_R_0015_0005__CHANGE,R_0015_0006__IT)
        & has_arg0(R_0015_0003__DID_R_0015_0005__CHANGE,R_0015_0002__HE) ) ).