125_a_hedgehog
The hedgehog provides a bigger lesson for us in our environment -- first, a lesson in scientific humility.
arc(r_0125_0003__provides, r_0125_0001__The_r_0125_0002__hedgehog, arg0).
arc(r_0125_0003__provides, r_0125_0004__a_r_0125_0006__lesson, arg1).
arc(r_0125_0004__a_r_0125_0006__lesson, r_0125_0005__bigger, attrib12).
arc(r_0125_0004__a_r_0125_0006__lesson, r_0125_0008__us, r_0125_0007__for).
arc(r_0125_0004__a_r_0125_0006__lesson, r_0125_0011__environment, r_0125_0009__in).
arc(r_0125_0011__environment, r_0125_0010__our, gen).
fof(formula,axiom,
? [R_125_3_PROVIDES,R_125_1_THE_HEDGEHOG,R_125_4_A_LESSON,R_125_5_BIGGER,R_125_8_US,R_125_11_ENVIRONMENT,R_125_10_OUR] :
( the_hedgehog(R_125_1_THE_HEDGEHOG)
& bigger(R_125_5_BIGGER)
& us(R_125_8_US)
& our(R_125_10_OUR)
& provides(R_125_3_PROVIDES,R_125_1_THE_HEDGEHOG,R_125_4_A_LESSON)
& a_lesson(R_125_4_A_LESSON)
& attrib12(R_125_4_A_LESSON,R_125_5_BIGGER)
& for(R_125_4_A_LESSON,R_125_8_US)
& in(R_125_4_A_LESSON,R_125_11_ENVIRONMENT)
& environment(R_125_11_ENVIRONMENT)
& gen(R_125_11_ENVIRONMENT,R_125_10_OUR) ) ).
( (IP-MAT (NP-SBJ;{HEDGEHOG} (D The;{the})
(N hedgehog;{hedgehog}))
(VBP;_Tn_ provides;{provide})
(NP-OB1 (D a;{a})
(ADJP (ADJR bigger;{big}))
(N lesson;{lesson})
(PP (P-ROLE for;{for})
(NP (PRO us;{we})))
(PP (P-ROLE in;{in})
(NP (NP-GEN (PRO;_genm_ our;{our}))
(N environment;{environment}))))
(PUNC --)
(PRN (FRAG (ADVP-NIM (ADV first;{first}))
(PUNC ,)
(NP (D a;{a})
(N lesson;{lesson})
(PP (P-ROLE in;{in})
(NP (ADJP (ADJ scientific;{scientific}))
(N humility;{humility}))))))
(PUNC .))
(ID 125_a_hedgehog;speaker=Stewart))