( (IP-MAT (NP-SBJ;{PERSON_A} (PRO I;{I}))
          (HVP;_cat_Ve_ <apos>ve;{have})
          (IP-PPL-CAT (VVN;_Dn.f_ told;{tell})
                      (NP-OB2;{SON_OF_A} (PRO him;{he}))
                      (CP-THT-OB1 (IP-SUB (NP-SBJ;{EVENT_A} (PRO it;{it}))
                                          (BEP;_cat_Vg_ <apos>s;{be})
                                          (IP-PPL-CAT (ILYR (ILYR (NP-PRD (D a;{a})
                                                                          (NUM one;{one})
                                                                          (PUNC <hyphen>)
                                                                          (N off;{off})))
                                                            (CONJP (CONJ and;{and})
                                                                   (ILYR (ADVP-NIM (ADV never;{never}))
                                                                         (VAG;_I_ happening;{happen})
                                                                         (ADVP-NIM (ADV again;{again})))))))))
          (PUNC .))
  (ID 21_a_lockdown;speaker=a))

arc(r_0021_0002___apos_ve,r_0021_0003__told,scope).
arc(r_0021_0003__told,r_0021_0001__I,arg0).
arc(r_0021_0003__told,r_0021_0004__him,arg2).
arc(r_0021_0003__told,r_0021_0006___apos_s,arg1).
arc(r_0021_0006___apos_s,r_0021_0011__and,scope).
arc(r_0021_0011__and,r_0021_0013__happening,conj2).
arc(r_0021_0011__and,z_0021_5005,conj1).
arc(r_0021_0013__happening,r_0021_0005__it,arg0).
arc(r_0021_0013__happening,r_0021_0012__never,nim).
arc(r_0021_0013__happening,r_0021_0014__again,nim).
arc(z_0021_5005,r_0021_0005__it,arg0).
arc(z_0021_5005,r_0021_0007__a_r_0021_0008__one_r_0021_0010__off,prd).

fof(formula,axiom,
    ? [R_0021_0001__I,R_0021_0004__HIM,R_0021_0005__IT,R_0021_0012__NEVER,R_0021_0014__AGAIN,R_0021_0013__HAPPENING,R_0021_0007__A_R_0021_0008__ONE_R_0021_0010__OFF,Z_0021_5005,R_0021_0011__AND,R_0021_0006___APOS_S,R_0021_0002___APOS_VE_R_0021_0003__TOLD] :
      ( r_0021_0001__I(R_0021_0001__I)
      & r_0021_0004__him(R_0021_0004__HIM)
      & r_0021_0005__it(R_0021_0005__IT)
      & r_0021_0007__a_r_0021_0008__one_r_0021_0010__off(R_0021_0007__A_R_0021_0008__ONE_R_0021_0010__OFF)
      & r_0021_0012__never(R_0021_0012__NEVER)
      & r_0021_0014__again(R_0021_0014__AGAIN)
      & r_0021_0002___apos_ve_r_0021_0003__told(R_0021_0002___APOS_VE_R_0021_0003__TOLD)
      & has_arg1(R_0021_0002___APOS_VE_R_0021_0003__TOLD,R_0021_0006___APOS_S)
      & r_0021_0006___apos_s(R_0021_0006___APOS_S)
      & has_keep_scope(R_0021_0006___APOS_S,R_0021_0011__AND)
      & r_0021_0011__and(R_0021_0011__AND)
      & has_conj1(R_0021_0011__AND,Z_0021_5005)
      & z_0021_5005(Z_0021_5005)
      & has_prd(Z_0021_5005,R_0021_0007__A_R_0021_0008__ONE_R_0021_0010__OFF)
      & has_arg0(Z_0021_5005,R_0021_0005__IT)
      & has_conj2(R_0021_0011__AND,R_0021_0013__HAPPENING)
      & r_0021_0013__happening(R_0021_0013__HAPPENING)
      & has_nim(R_0021_0013__HAPPENING,R_0021_0014__AGAIN)
      & has_nim(R_0021_0013__HAPPENING,R_0021_0012__NEVER)
      & has_arg0(R_0021_0013__HAPPENING,R_0021_0005__IT)
      & has_arg2(R_0021_0002___APOS_VE_R_0021_0003__TOLD,R_0021_0004__HIM)
      & has_arg0(R_0021_0002___APOS_VE_R_0021_0003__TOLD,R_0021_0001__I) ) ).