126_a_hedgehog
The hedgehog has of course been studied for over 2,000 years.
arc(r_0126_0003__has, r_0126_0004__of_course, nim9).
arc(r_0126_0003__has, r_0126_0005__been, scope).
arc(r_0126_0005__been, r_0126_0006__studied, scope).
arc(r_0126_0006__studied, r_0126_0001__The_r_0126_0002__hedgehog, arg1).
arc(r_0126_0006__studied, r_0126_0010__years, r_0126_0007__for_nim23).
arc(r_0126_0006__studied, z_000_126_a_hedgehog_16, arg0).
arc(r_0126_0010__years, r_0126_0009__2_comma_000, r_0126_0008__over).
fof(formula,axiom,
? [R_126_3_HAS_BEEN_STUDIED,Z_126_A_HEDGEHOG_16,R_126_1_THE_HEDGEHOG,R_126_4_OF_COURSE,R_126_10_YEARS,R_126_9_2_COMMA_] :
( the_hedgehog(R_126_1_THE_HEDGEHOG)
& of_course(R_126_4_OF_COURSE)
& 2_comma_(R_126_9_2_COMMA_)
& has_been_studied(R_126_3_HAS_BEEN_STUDIED,Z_126_A_HEDGEHOG_16,R_126_1_THE_HEDGEHOG)
& nim9(R_126_3_HAS_BEEN_STUDIED,R_126_4_OF_COURSE)
& for_nim23(R_126_3_HAS_BEEN_STUDIED,R_126_10_YEARS)
& years(R_126_10_YEARS)
& over(R_126_10_YEARS,R_126_9_2_COMMA_) ) ).
( (IP-MAT (NP-SBJ (D The;{the})
(N hedgehog;{hedgehog}))
(HVP;_cat_Ve_ has;{have})
(ADVP-NIM (ADV of_course;{of_course}))
(IP-PPL-CAT (BEN;_cat_VePASS_ been;{be})
(IP-PPL-CAT (NP-LGS *)
(VVN;_Tn_ studied;{study})
(PP-NIM (P-ROLE for;{for})
(NP (PP (P-ROLE over;{over})
(NP (NUM 2,000)))
(NS years;{year})))))
(PUNC .))
(ID 126_a_hedgehog;speaker=Stewart))