arc(r_0050_0002__did_r_0050_0003__n_apos_t_r_0050_0004__find, r_0050_0001__He, arg0).
arc(r_0050_0002__did_r_0050_0003__n_apos_t_r_0050_0004__find, r_0050_0005__it, arg1).
arc(r_0050_0002__did_r_0050_0003__n_apos_t_r_0050_0004__find, r_0050_0007__funny, prd).
arc(r_0050_0002__did_r_0050_0003__n_apos_t_r_0050_0004__find, r_0050_0009__the_r_0050_0010__time, r_0050_0008__at_nim25).
arc(r_0050_0007__funny, r_0050_0006__remotely, qual17).
arc(r_0050_0012__but, r_0050_0002__did_r_0050_0003__n_apos_t_r_0050_0004__find, conj1).
arc(r_0050_0012__but, r_0050_0015__found, conj2).
arc(r_0050_0015__found, r_0050_0013__afterwards, nim36).
arc(r_0050_0015__found, r_0050_0014__he, arg0).
arc(r_0050_0015__found, r_0050_0016__it, arg1).
arc(r_0050_0015__found, r_0050_0018__funny, prd).
arc(r_0050_0018__funny, r_0050_0017__a_bit, nim48).

fof(formula,axiom,
    ? [R_0050_0001__HE,R_0050_0005__IT,R_0050_0006__REMOTELY,R_0050_0007__FUNNY,R_0050_0009__THE_R_0050_0010__TIME,R_0050_0002__DID_R_0050_0003__N_APOS_T_R_0050_0004__FIND,R_0050_0013__AFTERWARDS,R_0050_0014__HE,R_0050_0016__IT,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_0006__remotely(R_0050_0006__REMOTELY)
      & r_0050_0009__the_r_0050_0010__time(R_0050_0009__THE_R_0050_0010__TIME)
      & r_0050_0013__afterwards(R_0050_0013__AFTERWARDS)
      & r_0050_0014__he(R_0050_0014__HE)
      & r_0050_0016__it(R_0050_0016__IT)
      & 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_nim48(R_0050_0018__FUNNY,R_0050_0017__A_BIT)
      & has_arg1(R_0050_0015__FOUND,R_0050_0016__IT)
      & has_arg0(R_0050_0015__FOUND,R_0050_0014__HE)
      & has_nim36(R_0050_0015__FOUND,R_0050_0013__AFTERWARDS)
      & has_conj1(R_0050_0012__BUT,R_0050_0002__DID_R_0050_0003__N_APOS_T_R_0050_0004__FIND)
      & ~ ( has_r_0050_0008__at_nim25(R_0050_0002__DID_R_0050_0003__N_APOS_T_R_0050_0004__FIND,R_0050_0009__THE_R_0050_0010__TIME)
          & has_prd(R_0050_0002__DID_R_0050_0003__N_APOS_T_R_0050_0004__FIND,R_0050_0007__FUNNY)
          & r_0050_0007__funny(R_0050_0007__FUNNY)
          & has_qual17(R_0050_0007__FUNNY,R_0050_0006__REMOTELY)
          & has_arg1(R_0050_0002__DID_R_0050_0003__N_APOS_T_R_0050_0004__FIND,R_0050_0005__IT)
          & has_arg0(R_0050_0002__DID_R_0050_0003__N_APOS_T_R_0050_0004__FIND,R_0050_0001__HE) ) ) ).

( (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))