( (IP-MAT (ILYR (ILYR (NP-SBJ;{HUBBY_OF_D} (PRO He;{he}))
                      (DOD did;{do})
                      (NEG;_clitic_ n<apos>t;{not})
                      (VB;_Cn.a_ find;{find})
                      (NP-OB1;{EVENT_D} (PRO it;{it}))
                      (ADJP-PRD (ADVP (ADV remotely;{remotely}))
                                (ADJ funny;{funny}))
                      (PP-NIM (P-ROLE at;{at})
                              (NP (D the;{the})
                                  (N time;{time}))))
                (PUNC ,)
                (CONJP (CONJ but;{but})
                       (ILYR (ADVP-NIM (ADV afterwards;{afterwards}))
                             (NP-SBJ;{HUBBY_OF_D} (PRO he;{he}))
                             (VBD;_Cn.a_ found;{find})
                             (NP-OB1;{EVENT_D} (PRO it;{it}))
                             (ADJP-PRD (NP (D;_nphd_ a_bit;{a_bit}))
                                       (ADJ funny;{funny})))))
          (PUNC .))
  (ID 50_a_lockdown;speaker=d))

arc(r_0050_0002__did_r_0050_0004__find,r_0050_0001__He,arg0).
arc(r_0050_0002__did_r_0050_0004__find,r_0050_0005__it,arg1).
arc(r_0050_0002__did_r_0050_0004__find,r_0050_0007__funny,prd).
arc(r_0050_0002__did_r_0050_0004__find,r_0050_0009__the_r_0050_0010__time,r_0050_0008__at__nim).
arc(r_0050_0003__n_apos_t,r_0050_0002__did_r_0050_0004__find,keep_scope).
arc(r_0050_0007__funny,r_0050_0006__remotely,qual).
arc(r_0050_0012__but,r_0050_0003__n_apos_t,conj1).
arc(r_0050_0012__but,r_0050_0015__found,conj2).
arc(r_0050_0015__found,r_0050_0001__He,arg0).
arc(r_0050_0015__found,r_0050_0005__it,arg1).
arc(r_0050_0015__found,r_0050_0013__afterwards,nim).
arc(r_0050_0015__found,r_0050_0018__funny,prd).
arc(r_0050_0018__funny,r_0050_0017__a_bit,nim).

fof(formula,axiom,
    ? [R_0050_0001__HE,R_0050_0005__IT,R_0050_0013__AFTERWARDS,R_0050_0017__A_BIT,R_0050_0018__FUNNY,R_0050_0015__FOUND,R_0050_0012__BUT] :
      ( r_0050_0001__He(R_0050_0001__HE)
      & r_0050_0005__it(R_0050_0005__IT)
      & r_0050_0013__afterwards(R_0050_0013__AFTERWARDS)
      & r_0050_0017__a_bit(R_0050_0017__A_BIT)
      & r_0050_0012__but(R_0050_0012__BUT)
      & has_conj2(R_0050_0012__BUT,R_0050_0015__FOUND)
      & r_0050_0015__found(R_0050_0015__FOUND)
      & has_prd(R_0050_0015__FOUND,R_0050_0018__FUNNY)
      & r_0050_0018__funny(R_0050_0018__FUNNY)
      & has_nim(R_0050_0018__FUNNY,R_0050_0017__A_BIT)
      & has_nim(R_0050_0015__FOUND,R_0050_0013__AFTERWARDS)
      & has_arg1(R_0050_0015__FOUND,R_0050_0005__IT)
      & has_arg0(R_0050_0015__FOUND,R_0050_0001__HE)
      & has_conj1(R_0050_0012__BUT,R_0050_0003__N_APOS_T)
      & ~ ? [R_0050_0006__REMOTELY,R_0050_0007__FUNNY,R_0050_0009__THE_R_0050_0010__TIME,R_0050_0002__DID_R_0050_0004__FIND] :
            ( r_0050_0006__remotely(R_0050_0006__REMOTELY)
            & r_0050_0009__the_r_0050_0010__time(R_0050_0009__THE_R_0050_0010__TIME)
            & r_0050_0002__did_r_0050_0004__find(R_0050_0002__DID_R_0050_0004__FIND)
            & has_r_0050_0008__at__nim(R_0050_0002__DID_R_0050_0004__FIND,R_0050_0009__THE_R_0050_0010__TIME)
            & has_prd(R_0050_0002__DID_R_0050_0004__FIND,R_0050_0007__FUNNY)
            & r_0050_0007__funny(R_0050_0007__FUNNY)
            & has_qual(R_0050_0007__FUNNY,R_0050_0006__REMOTELY)
            & has_arg1(R_0050_0002__DID_R_0050_0004__FIND,R_0050_0005__IT)
            & has_arg0(R_0050_0002__DID_R_0050_0004__FIND,R_0050_0001__HE) ) ) ).