50_a_lockdown
He didn't find it remotely funny at the time, but afterwards he found it a bit funny.
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).
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) ) ).
( (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))