2_a_stories_09_m12
The funniest job was cleaning a dog.
arc(r_0002_0001__The_r_0002_0003__job, r_0002_0002__funniest, attrib5).
arc(r_0002_0004__was, r_0002_0001__The_r_0002_0003__job, arg0).
arc(r_0002_0004__was, r_0002_0005__cleaning, prd).
arc(r_0002_0005__cleaning, r_0002_0006__a_r_0002_0007__dog, arg1).
arc(r_0002_0005__cleaning, x_000_2_a_stories_09_m12_12, arg0).
fof(formula,axiom,
? [R_0002_0002__FUNNIEST,R_0002_0001__THE_R_0002_0003__JOB,R_0002_0006__A_R_0002_0007__DOG,X_000_2_A_STORIES_09_M12_12,R_0002_0005__CLEANING,R_0002_0004__WAS] :
( r_0002_0002__funniest(R_0002_0002__FUNNIEST)
& r_0002_0006__a_r_0002_0007__dog(R_0002_0006__A_R_0002_0007__DOG)
& x_000_2_a_stories_09_m12_12(X_000_2_A_STORIES_09_M12_12)
& r_0002_0004__was(R_0002_0004__WAS)
& has_prd(R_0002_0004__WAS,R_0002_0005__CLEANING)
& r_0002_0005__cleaning(R_0002_0005__CLEANING)
& has_arg0(R_0002_0005__CLEANING,X_000_2_A_STORIES_09_M12_12)
& has_arg1(R_0002_0005__CLEANING,R_0002_0006__A_R_0002_0007__DOG)
& has_arg0(R_0002_0004__WAS,R_0002_0001__THE_R_0002_0003__JOB)
& r_0002_0001__The_r_0002_0003__job(R_0002_0001__THE_R_0002_0003__JOB)
& has_attrib5(R_0002_0001__THE_R_0002_0003__JOB,R_0002_0002__FUNNIEST) ) ).
( (IP-MAT (NP-SBJ (D The;{the})
(ADJP (ADJS funniest;{funny}))
(N job;{job}))
(BED;_equ_Vg_ was;{be})
(IP-PPL-PRD (VAG;_Tn_ cleaning;{clean})
(NP-OB1 (D a;{a})
(N dog;{dog})))
(PUNC .))
(ID 2_a_stories_09_m12))