160_a_hedgehog
On the point about the hedgehog in the western isles, we have established that hedgehogs are a devolved matter.
( (IP-MAT (PP-NIM (P-ROLE On;{on})
(NP (D the;{the})
(N point;{point})
(PP (P-ROLE about;{about})
(NP (D the;{the})
(N hedgehog;{hedgehog})
(PP (P-ROLE in;{in})
(NP (D the;{the})
(ADJP (ADJ western;{western}))
(NS isles;{isle})))))))
(PUNC ,)
(NP-SBJ (PRO we;{we}))
(HVP;_cat_Ve_ have;{have})
(IP-PPL-CAT (VVN;_Tf_ established;{establish})
(CP-THT-OB1 (IP-SUB (C that;{that})
(NP-SBJ (NS hedgehogs;{hedgehog}))
(BEP;_Ln_ are;{be})
(NP-PRD (D a;{a})
(ADJP (ADJ devolved;{devolved}))
(N matter;{matter})))))
(PUNC .))
(ID 160_a_hedgehog;speaker=Grady))
arc(r_0160_0002__the_r_0160_0003__point,r_0160_0005__the_r_0160_0006__hedgehog,r_0160_0004__about).
arc(r_0160_0005__the_r_0160_0006__hedgehog,r_0160_0008__the_r_0160_0010__isles,r_0160_0007__in).
arc(r_0160_0008__the_r_0160_0010__isles,r_0160_0009__western,attrib).
arc(r_0160_0013__have,r_0160_0002__the_r_0160_0003__point,r_0160_0001__On__nim).
arc(r_0160_0013__have,r_0160_0014__established,scope).
arc(r_0160_0014__established,r_0160_0012__we,arg0).
arc(r_0160_0014__established,r_0160_0017__are,arg1).
arc(r_0160_0017__are,r_0160_0016__hedgehogs,arg0).
arc(r_0160_0017__are,r_0160_0018__a_r_0160_0020__matter,prd).
arc(r_0160_0018__a_r_0160_0020__matter,r_0160_0019__devolved,attrib).
fof(formula,axiom,
? [R_0160_0009__WESTERN,R_0160_0008__THE_R_0160_0010__ISLES,R_0160_0005__THE_R_0160_0006__HEDGEHOG,R_0160_0002__THE_R_0160_0003__POINT,R_0160_0012__WE,R_0160_0016__HEDGEHOGS,R_0160_0019__DEVOLVED,R_0160_0018__A_R_0160_0020__MATTER,R_0160_0017__ARE,R_0160_0013__HAVE_R_0160_0014__ESTABLISHED] :
( r_0160_0009__western(R_0160_0009__WESTERN)
& r_0160_0012__we(R_0160_0012__WE)
& r_0160_0016__hedgehogs(R_0160_0016__HEDGEHOGS)
& r_0160_0019__devolved(R_0160_0019__DEVOLVED)
& r_0160_0013__have_r_0160_0014__established(R_0160_0013__HAVE_R_0160_0014__ESTABLISHED)
& has_arg1(R_0160_0013__HAVE_R_0160_0014__ESTABLISHED,R_0160_0017__ARE)
& r_0160_0017__are(R_0160_0017__ARE)
& has_prd(R_0160_0017__ARE,R_0160_0018__A_R_0160_0020__MATTER)
& r_0160_0018__a_r_0160_0020__matter(R_0160_0018__A_R_0160_0020__MATTER)
& has_attrib(R_0160_0018__A_R_0160_0020__MATTER,R_0160_0019__DEVOLVED)
& has_arg0(R_0160_0017__ARE,R_0160_0016__HEDGEHOGS)
& has_arg0(R_0160_0013__HAVE_R_0160_0014__ESTABLISHED,R_0160_0012__WE)
& has_r_0160_0001__On__nim(R_0160_0013__HAVE_R_0160_0014__ESTABLISHED,R_0160_0002__THE_R_0160_0003__POINT)
& r_0160_0002__the_r_0160_0003__point(R_0160_0002__THE_R_0160_0003__POINT)
& has_r_0160_0004__about(R_0160_0002__THE_R_0160_0003__POINT,R_0160_0005__THE_R_0160_0006__HEDGEHOG)
& r_0160_0005__the_r_0160_0006__hedgehog(R_0160_0005__THE_R_0160_0006__HEDGEHOG)
& has_r_0160_0007__in(R_0160_0005__THE_R_0160_0006__HEDGEHOG,R_0160_0008__THE_R_0160_0010__ISLES)
& r_0160_0008__the_r_0160_0010__isles(R_0160_0008__THE_R_0160_0010__ISLES)
& has_attrib(R_0160_0008__THE_R_0160_0010__ISLES,R_0160_0009__WESTERN) ) ).