50_a_lockdown
He didn't find it remotely funny at the time, but afterwards he found it a bit funny.

%3 r_0050_0002__did_r_0050_0004__find did find r_0050_0001__He He r_0050_0002__did_r_0050_0004__find->r_0050_0001__He [arg0] r_0050_0005__it it r_0050_0002__did_r_0050_0004__find->r_0050_0005__it [arg1] r_0050_0007__funny funny r_0050_0002__did_r_0050_0004__find->r_0050_0007__funny [prd] r_0050_0009__the_r_0050_0010__time the time r_0050_0002__did_r_0050_0004__find->r_0050_0009__the_r_0050_0010__time at [nim] r_0050_0006__remotely remotely r_0050_0007__funny->r_0050_0006__remotely [qual] r_0050_0003__n_apos_t n't r_0050_0003__n_apos_t->r_0050_0002__did_r_0050_0004__find [keep_scope] r_0050_0012__but but r_0050_0012__but->r_0050_0003__n_apos_t [conj1] r_0050_0015__found found r_0050_0012__but->r_0050_0015__found [conj2] r_0050_0013__afterwards afterwards r_0050_0015__found->r_0050_0013__afterwards [nim] r_0050_0014__he he r_0050_0015__found->r_0050_0014__he [arg0] r_0050_0016__it it r_0050_0015__found->r_0050_0016__it [arg1] r_0050_0018__funny funny r_0050_0015__found->r_0050_0018__funny [prd] r_0050_0017__a_bit a bit r_0050_0018__funny->r_0050_0017__a_bit [nim]
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_nim25).
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, qual17).
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_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).



%3 r_0050_0018__funny funny r_0050_0017__a_bit a bit r_0050_0018__funny->r_0050_0017__a_bit [nim] r_0050_0015__found found r_0050_0015__found->r_0050_0018__funny [prd] r_0050_0016__it it r_0050_0015__found->r_0050_0016__it [arg1] r_0050_0014__he he r_0050_0015__found->r_0050_0014__he [arg0] r_0050_0013__afterwards afterwards r_0050_0015__found->r_0050_0013__afterwards [nim] r_0050_0012__but but r_0050_0012__but->r_0050_0015__found [conj2] r_0050_0003__n_apos_t n't r_0050_0012__but->r_0050_0003__n_apos_t [conj1] r_0050_0002__did_r_0050_0004__find did find r_0050_0003__n_apos_t->r_0050_0002__did_r_0050_0004__find [keep_scope] r_0050_0007__funny funny r_0050_0006__remotely remotely r_0050_0007__funny->r_0050_0006__remotely [qual] r_0050_0002__did_r_0050_0004__find->r_0050_0007__funny [prd] r_0050_0009__the_r_0050_0010__time the time r_0050_0002__did_r_0050_0004__find->r_0050_0009__the_r_0050_0010__time at [nim] r_0050_0005__it it r_0050_0002__did_r_0050_0004__find->r_0050_0005__it [arg1] r_0050_0001__He He r_0050_0002__did_r_0050_0004__find->r_0050_0001__He [arg0]
fof(formula,axiom,
    ? [R_50_12_BUT,R_50_15_FOUND,R_50_14_HE,R_50_16_IT,R_50_13_AFTERWARDS,R_50_18_FUNNY,R_50_17_A_BIT] :
      ( he(R_50_14_HE)
      & it(R_50_16_IT)
      & afterwards(R_50_13_AFTERWARDS)
      & a_bit(R_50_17_A_BIT)
      & but(R_50_12_BUT)
      & conj1(R_50_12_BUT,R_50_3_N_APOS_T)
      & ~ ? [R_50_2_DID_FIND,R_50_1_HE,R_50_5_IT,R_50_7_FUNNY,R_50_6_REMOTELY,R_50_9_THE_TIME] :
            ( he(R_50_1_HE)
            & it(R_50_5_IT)
            & remotely(R_50_6_REMOTELY)
            & the_time(R_50_9_THE_TIME)
            & did_find(R_50_2_DID_FIND,R_50_1_HE,R_50_5_IT,R_50_7_FUNNY)
            & funny(R_50_7_FUNNY)
            & qual17(R_50_7_FUNNY,R_50_6_REMOTELY)
            & at_nim25(R_50_2_DID_FIND,R_50_9_THE_TIME) )
      & conj2(R_50_12_BUT,R_50_15_FOUND)
      & found(R_50_15_FOUND,R_50_14_HE,R_50_16_IT,R_50_18_FUNNY)
      & funny(R_50_18_FUNNY)
      & nim48(R_50_18_FUNNY,R_50_17_A_BIT)
      & nim36(R_50_15_FOUND,R_50_13_AFTERWARDS) ) ).



n50_a_lockdown n50_a_lockdown__1_1_1_1_1_1 He n50_a_lockdown__1_1_1_2_1 did n50_a_lockdown__1_1_1_3_1 n't n50_a_lockdown__1_1_1_4_1 find n50_a_lockdown__1_1_1_5_1_1 it n50_a_lockdown__1_1_1_6_1_1_1 remotely n50_a_lockdown__1_1_1_6_2_1 funny n50_a_lockdown__1_1_1_7_1_1 at n50_a_lockdown__1_1_1_7_2_1_1 the n50_a_lockdown__1_1_1_7_2_2_1 time n50_a_lockdown__1_1_2_1 , n50_a_lockdown__1_1_3_1_1 but n50_a_lockdown__1_1_3_2_1_1_1 afterwards n50_a_lockdown__1_1_3_2_2_1_1 he n50_a_lockdown__1_1_3_2_3_1 found n50_a_lockdown__1_1_3_2_4_1_1 it n50_a_lockdown__1_1_3_2_5_1_1_1 a_bit n50_a_lockdown__1_1_3_2_5_2_1 funny n50_a_lockdown__1_2_1 . n50_a_lockdown__1 IP-MAT n50_a_lockdown__1_1 ILYR n50_a_lockdown__1->n50_a_lockdown__1_1 n50_a_lockdown__1_2 PUNC n50_a_lockdown__1->n50_a_lockdown__1_2 n50_a_lockdown__1_1_1 ILYR n50_a_lockdown__1_1->n50_a_lockdown__1_1_1 n50_a_lockdown__1_1_2 PUNC n50_a_lockdown__1_1->n50_a_lockdown__1_1_2 n50_a_lockdown__1_1_3 CONJP n50_a_lockdown__1_1->n50_a_lockdown__1_1_3 n50_a_lockdown__1_1_1_1 NP-SBJ n50_a_lockdown__1_1_1->n50_a_lockdown__1_1_1_1 n50_a_lockdown__1_1_1_2 DOD n50_a_lockdown__1_1_1->n50_a_lockdown__1_1_1_2 n50_a_lockdown__1_1_1_3 NEG;_clitic_ n50_a_lockdown__1_1_1->n50_a_lockdown__1_1_1_3 n50_a_lockdown__1_1_1_4 VB;_Cn.a_ n50_a_lockdown__1_1_1->n50_a_lockdown__1_1_1_4 n50_a_lockdown__1_1_1_5 NP-OB1 n50_a_lockdown__1_1_1->n50_a_lockdown__1_1_1_5 n50_a_lockdown__1_1_1_6 ADJP-PRD n50_a_lockdown__1_1_1->n50_a_lockdown__1_1_1_6 n50_a_lockdown__1_1_1_7 PP-NIM n50_a_lockdown__1_1_1->n50_a_lockdown__1_1_1_7 n50_a_lockdown__1_1_1_1_1 PRO n50_a_lockdown__1_1_1_1->n50_a_lockdown__1_1_1_1_1 n50_a_lockdown__1_1_1_1_1->n50_a_lockdown__1_1_1_1_1_1 n50_a_lockdown__1_1_1_2->n50_a_lockdown__1_1_1_2_1 n50_a_lockdown__1_1_1_3->n50_a_lockdown__1_1_1_3_1 n50_a_lockdown__1_1_1_4->n50_a_lockdown__1_1_1_4_1 n50_a_lockdown__1_1_1_5_1 PRO n50_a_lockdown__1_1_1_5->n50_a_lockdown__1_1_1_5_1 n50_a_lockdown__1_1_1_5_1->n50_a_lockdown__1_1_1_5_1_1 n50_a_lockdown__1_1_1_6_1 ADVP n50_a_lockdown__1_1_1_6->n50_a_lockdown__1_1_1_6_1 n50_a_lockdown__1_1_1_6_2 ADJ n50_a_lockdown__1_1_1_6->n50_a_lockdown__1_1_1_6_2 n50_a_lockdown__1_1_1_6_1_1 ADV n50_a_lockdown__1_1_1_6_1->n50_a_lockdown__1_1_1_6_1_1 n50_a_lockdown__1_1_1_6_1_1->n50_a_lockdown__1_1_1_6_1_1_1 n50_a_lockdown__1_1_1_6_2->n50_a_lockdown__1_1_1_6_2_1 n50_a_lockdown__1_1_1_7_1 P-ROLE n50_a_lockdown__1_1_1_7->n50_a_lockdown__1_1_1_7_1 n50_a_lockdown__1_1_1_7_2 NP n50_a_lockdown__1_1_1_7->n50_a_lockdown__1_1_1_7_2 n50_a_lockdown__1_1_1_7_1->n50_a_lockdown__1_1_1_7_1_1 n50_a_lockdown__1_1_1_7_2_1 D n50_a_lockdown__1_1_1_7_2->n50_a_lockdown__1_1_1_7_2_1 n50_a_lockdown__1_1_1_7_2_2 N n50_a_lockdown__1_1_1_7_2->n50_a_lockdown__1_1_1_7_2_2 n50_a_lockdown__1_1_1_7_2_1->n50_a_lockdown__1_1_1_7_2_1_1 n50_a_lockdown__1_1_1_7_2_2->n50_a_lockdown__1_1_1_7_2_2_1 n50_a_lockdown__1_1_2->n50_a_lockdown__1_1_2_1 n50_a_lockdown__1_1_3_1 CONJ n50_a_lockdown__1_1_3->n50_a_lockdown__1_1_3_1 n50_a_lockdown__1_1_3_2 ILYR n50_a_lockdown__1_1_3->n50_a_lockdown__1_1_3_2 n50_a_lockdown__1_1_3_1->n50_a_lockdown__1_1_3_1_1 n50_a_lockdown__1_1_3_2_1 ADVP-NIM n50_a_lockdown__1_1_3_2->n50_a_lockdown__1_1_3_2_1 n50_a_lockdown__1_1_3_2_2 NP-SBJ n50_a_lockdown__1_1_3_2->n50_a_lockdown__1_1_3_2_2 n50_a_lockdown__1_1_3_2_3 VBD;_Cn.a_ n50_a_lockdown__1_1_3_2->n50_a_lockdown__1_1_3_2_3 n50_a_lockdown__1_1_3_2_4 NP-OB1 n50_a_lockdown__1_1_3_2->n50_a_lockdown__1_1_3_2_4 n50_a_lockdown__1_1_3_2_5 ADJP-PRD n50_a_lockdown__1_1_3_2->n50_a_lockdown__1_1_3_2_5 n50_a_lockdown__1_1_3_2_1_1 ADV n50_a_lockdown__1_1_3_2_1->n50_a_lockdown__1_1_3_2_1_1 n50_a_lockdown__1_1_3_2_1_1->n50_a_lockdown__1_1_3_2_1_1_1 n50_a_lockdown__1_1_3_2_2_1 PRO n50_a_lockdown__1_1_3_2_2->n50_a_lockdown__1_1_3_2_2_1 n50_a_lockdown__1_1_3_2_2_1->n50_a_lockdown__1_1_3_2_2_1_1 n50_a_lockdown__1_1_3_2_3->n50_a_lockdown__1_1_3_2_3_1 n50_a_lockdown__1_1_3_2_4_1 PRO n50_a_lockdown__1_1_3_2_4->n50_a_lockdown__1_1_3_2_4_1 n50_a_lockdown__1_1_3_2_4_1->n50_a_lockdown__1_1_3_2_4_1_1 n50_a_lockdown__1_1_3_2_5_1 NP n50_a_lockdown__1_1_3_2_5->n50_a_lockdown__1_1_3_2_5_1 n50_a_lockdown__1_1_3_2_5_2 ADJ n50_a_lockdown__1_1_3_2_5->n50_a_lockdown__1_1_3_2_5_2 n50_a_lockdown__1_1_3_2_5_1_1 D;_nphd_ n50_a_lockdown__1_1_3_2_5_1->n50_a_lockdown__1_1_3_2_5_1_1 n50_a_lockdown__1_1_3_2_5_1_1->n50_a_lockdown__1_1_3_2_5_1_1_1 n50_a_lockdown__1_1_3_2_5_2->n50_a_lockdown__1_1_3_2_5_2_1 n50_a_lockdown__1_2->n50_a_lockdown__1_2_1
( (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))