13_a_stories_09_m12
That was the funniest thing that happened to John.
arc(r_0013_0002__was, r_0013_0001__That, arg0).
arc(r_0013_0002__was, r_0013_0003__the_r_0013_0005__thing, prd).
arc(r_0013_0003__the_r_0013_0005__thing, r_0013_0004__funniest, attrib10).
arc(r_0013_0006__that_r_0013_0007__happened, r_0013_0003__the_r_0013_0005__thing, arg0).
arc(r_0013_0006__that_r_0013_0007__happened, r_0013_0009__John, r_0013_0008__to_clr25).
fof(formula,axiom,
? [R_13_2_WAS,R_13_1_THAT,R_13_6_THAT_HAPPENED,R_13_3_THE_THING,R_13_4_FUNNIEST,R_13_9_JOHN] :
( that(R_13_1_THAT)
& funniest(R_13_4_FUNNIEST)
& john(R_13_9_JOHN)
& was(R_13_2_WAS,R_13_1_THAT,R_13_3_THE_THING)
& the_thing(R_13_3_THE_THING)
& attrib10(R_13_3_THE_THING,R_13_4_FUNNIEST)
& that_happened(R_13_6_THAT_HAPPENED,R_13_3_THE_THING)
& to_clr25(R_13_6_THAT_HAPPENED,R_13_9_JOHN) ) ).
( (IP-MAT (NP-SBJ (D;_nphd_ That;{that}))
(BED;_Ln_ was;{be})
(NP-PRD (D the;{the})
(ADJP (ADJS funniest;{funny}))
(N thing;{thing})
(IP-REL (C that;{that})
(NP-SBJ *T*)
(VBD;_Ipr_ happened;{happen[to]})
(PP-CLR (P-ROLE to;{to})
(NP;{JOHN} (NPR John;{John})))))
(PUNC .))
(ID 13_a_stories_09_m12))