( (IP-MAT (NP-SBJ (D;_nphd_ This;{this}))
          (BEP;_Ln_ is;{be})
          (NP-PRD (D the;{the})
                  (ADJP (ADJ first;{first}))
                  (N time;{time})
                  (CP-THT (IP-SUB (NP-SBJ;{PERSON_A} (PRO I;{I}))
                                  (HVP;_cat_Ve_ <apos>ve;{have})
                                  (IP-PPL-CAT (ADVP-NIM (ADV ever;{ever}))
                                              (DON;_Tn_ done;{do})
                                              (NP-OB1 (D;_nphd_ anything;{anything})
                                                      (PP (P-ROLE like;{like})
                                                          (NP;{EVENT_A} (D;_nphd_ this;{this}))))))))
          (PUNC .))
  (ID 19_a_lockdown;speaker=a))

arc(r_0019_0002__is,r_0019_0001__This,arg0).
arc(r_0019_0002__is,r_0019_0003__the_r_0019_0005__time,prd).
arc(r_0019_0003__the_r_0019_0005__time,r_0019_0004__first,attrib).
arc(r_0019_0003__the_r_0019_0005__time,r_0019_0007___apos_ve,emb).
arc(r_0019_0007___apos_ve,r_0019_0009__done,scope).
arc(r_0019_0009__done,r_0019_0006__I,arg0).
arc(r_0019_0009__done,r_0019_0008__ever,nim).
arc(r_0019_0009__done,r_0019_0010__anything,arg1).
arc(r_0019_0010__anything,r_0019_0012__this,r_0019_0011__like).

fof(formula,axiom,
    ? [R_0019_0001__THIS,R_0019_0004__FIRST,R_0019_0006__I,R_0019_0008__EVER,R_0019_0012__THIS,R_0019_0010__ANYTHING,R_0019_0007___APOS_VE_R_0019_0009__DONE,R_0019_0003__THE_R_0019_0005__TIME,R_0019_0002__IS] :
      ( r_0019_0001__This(R_0019_0001__THIS)
      & r_0019_0004__first(R_0019_0004__FIRST)
      & r_0019_0006__I(R_0019_0006__I)
      & r_0019_0008__ever(R_0019_0008__EVER)
      & r_0019_0012__this(R_0019_0012__THIS)
      & r_0019_0002__is(R_0019_0002__IS)
      & has_prd(R_0019_0002__IS,R_0019_0003__THE_R_0019_0005__TIME)
      & r_0019_0003__the_r_0019_0005__time(R_0019_0003__THE_R_0019_0005__TIME)
      & has_emb(R_0019_0003__THE_R_0019_0005__TIME,R_0019_0007___APOS_VE_R_0019_0009__DONE)
      & r_0019_0007___apos_ve_r_0019_0009__done(R_0019_0007___APOS_VE_R_0019_0009__DONE)
      & has_arg1(R_0019_0007___APOS_VE_R_0019_0009__DONE,R_0019_0010__ANYTHING)
      & r_0019_0010__anything(R_0019_0010__ANYTHING)
      & has_r_0019_0011__like(R_0019_0010__ANYTHING,R_0019_0012__THIS)
      & has_nim(R_0019_0007___APOS_VE_R_0019_0009__DONE,R_0019_0008__EVER)
      & has_arg0(R_0019_0007___APOS_VE_R_0019_0009__DONE,R_0019_0006__I)
      & has_attrib(R_0019_0003__THE_R_0019_0005__TIME,R_0019_0004__FIRST)
      & has_arg0(R_0019_0002__IS,R_0019_0001__THIS) ) ).