Context                Previous, Next                Top


160_a_hedgehog
On the point about the hedgehog in the western isles, we have established that hedgehogs are a devolved matter.

%3 r_0160_0002__the_r_0160_0003__point the point r_0160_0005__the_r_0160_0006__hedgehog the hedgehog r_0160_0002__the_r_0160_0003__point->r_0160_0005__the_r_0160_0006__hedgehog about r_0160_0008__the_r_0160_0010__isles the isles r_0160_0005__the_r_0160_0006__hedgehog->r_0160_0008__the_r_0160_0010__isles in r_0160_0009__western western r_0160_0008__the_r_0160_0010__isles->r_0160_0009__western [attrib] r_0160_0013__have have r_0160_0013__have->r_0160_0002__the_r_0160_0003__point On [nim] r_0160_0014__established established r_0160_0013__have->r_0160_0014__established [scope] r_0160_0012__we we r_0160_0014__established->r_0160_0012__we [arg0] r_0160_0015__that_r_0160_0017__are that are r_0160_0014__established->r_0160_0015__that_r_0160_0017__are [arg1] r_0160_0016__hedgehogs hedgehogs r_0160_0015__that_r_0160_0017__are->r_0160_0016__hedgehogs [arg0] r_0160_0018__a_r_0160_0020__matter a matter r_0160_0015__that_r_0160_0017__are->r_0160_0018__a_r_0160_0020__matter [prd] r_0160_0019__devolved devolved r_0160_0018__a_r_0160_0020__matter->r_0160_0019__devolved [attrib] 
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, attrib24).
arc(r_0160_0013__have, r_0160_0002__the_r_0160_0003__point, r_0160_0001__On_nim5).
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_0015__that_r_0160_0017__are, arg1).
arc(r_0160_0015__that_r_0160_0017__are, r_0160_0016__hedgehogs, arg0).
arc(r_0160_0015__that_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, attrib51).


%3 r_0160_0018__a_r_0160_0020__matter a matter r_0160_0019__devolved devolved r_0160_0018__a_r_0160_0020__matter->r_0160_0019__devolved [attrib] r_0160_0015__that_r_0160_0017__are that are r_0160_0015__that_r_0160_0017__are->r_0160_0018__a_r_0160_0020__matter [prd] r_0160_0016__hedgehogs hedgehogs r_0160_0015__that_r_0160_0017__are->r_0160_0016__hedgehogs [arg0] r_0160_0013__have_r_0160_0014__established have established r_0160_0013__have_r_0160_0014__established->r_0160_0015__that_r_0160_0017__are [arg1] r_0160_0012__we we r_0160_0013__have_r_0160_0014__established->r_0160_0012__we [arg0] r_0160_0002__the_r_0160_0003__point the point r_0160_0013__have_r_0160_0014__established->r_0160_0002__the_r_0160_0003__point On [nim] r_0160_0005__the_r_0160_0006__hedgehog the hedgehog r_0160_0002__the_r_0160_0003__point->r_0160_0005__the_r_0160_0006__hedgehog about r_0160_0008__the_r_0160_0010__isles the isles r_0160_0009__western western r_0160_0008__the_r_0160_0010__isles->r_0160_0009__western [attrib] r_0160_0005__the_r_0160_0006__hedgehog->r_0160_0008__the_r_0160_0010__isles in 
fof(formula,axiom,
    ? [R_160_13_HAVE_ESTABLISHED,R_160_12_WE,R_160_15_THAT_ARE,R_160_16_HEDGEHOGS,R_160_18_A_MATTER,R_160_19_DEVOLVED,R_160_2_THE_POINT,R_160_5_THE_HEDGEHOG,R_160_8_THE_ISLES,R_160_9_WESTERN] :
      ( we(R_160_12_WE)
      & hedgehogs(R_160_16_HEDGEHOGS)
      & devolved(R_160_19_DEVOLVED)
      & western(R_160_9_WESTERN)
      & have_established(R_160_13_HAVE_ESTABLISHED,R_160_12_WE,R_160_15_THAT_ARE)
      & that_are(R_160_15_THAT_ARE,R_160_16_HEDGEHOGS,R_160_18_A_MATTER)
      & a_matter(R_160_18_A_MATTER)
      & attrib51(R_160_18_A_MATTER,R_160_19_DEVOLVED)
      & on_nim5(R_160_13_HAVE_ESTABLISHED,R_160_2_THE_POINT)
      & the_point(R_160_2_THE_POINT)
      & about(R_160_2_THE_POINT,R_160_5_THE_HEDGEHOG)
      & the_hedgehog(R_160_5_THE_HEDGEHOG)
      & in(R_160_5_THE_HEDGEHOG,R_160_8_THE_ISLES)
      & the_isles(R_160_8_THE_ISLES)
      & attrib24(R_160_8_THE_ISLES,R_160_9_WESTERN) ) ).


n160_a_hedgehog n160_a_hedgehog__1_1_1_1 On n160_a_hedgehog__1_1_2_1_1 the n160_a_hedgehog__1_1_2_2_1 point n160_a_hedgehog__1_1_2_3_1_1 about n160_a_hedgehog__1_1_2_3_2_1_1 the n160_a_hedgehog__1_1_2_3_2_2_1 hedgehog n160_a_hedgehog__1_1_2_3_2_3_1_1 in n160_a_hedgehog__1_1_2_3_2_3_2_1_1 the n160_a_hedgehog__1_1_2_3_2_3_2_2_1_1 western n160_a_hedgehog__1_1_2_3_2_3_2_3_1 isles n160_a_hedgehog__1_2_1 , n160_a_hedgehog__1_3_1_1 we n160_a_hedgehog__1_4_1 have n160_a_hedgehog__1_5_1_1 established n160_a_hedgehog__1_5_2_1_1_1 that n160_a_hedgehog__1_5_2_1_2_1_1 hedgehogs n160_a_hedgehog__1_5_2_1_3_1 are n160_a_hedgehog__1_5_2_1_4_1_1 a n160_a_hedgehog__1_5_2_1_4_2_1_1 devolved n160_a_hedgehog__1_5_2_1_4_3_1 matter n160_a_hedgehog__1_6_1 . n160_a_hedgehog__1 IP-MAT n160_a_hedgehog__1_1 PP-NIM n160_a_hedgehog__1->n160_a_hedgehog__1_1 n160_a_hedgehog__1_2 PUNC n160_a_hedgehog__1->n160_a_hedgehog__1_2 n160_a_hedgehog__1_3 NP-SBJ n160_a_hedgehog__1->n160_a_hedgehog__1_3 n160_a_hedgehog__1_4 HVP;_cat_Ve_ n160_a_hedgehog__1->n160_a_hedgehog__1_4 n160_a_hedgehog__1_5 IP-PPL-CAT n160_a_hedgehog__1->n160_a_hedgehog__1_5 n160_a_hedgehog__1_6 PUNC n160_a_hedgehog__1->n160_a_hedgehog__1_6 n160_a_hedgehog__1_1_1 P-ROLE n160_a_hedgehog__1_1->n160_a_hedgehog__1_1_1 n160_a_hedgehog__1_1_2 NP n160_a_hedgehog__1_1->n160_a_hedgehog__1_1_2 n160_a_hedgehog__1_1_1->n160_a_hedgehog__1_1_1_1 n160_a_hedgehog__1_1_2_1 D n160_a_hedgehog__1_1_2->n160_a_hedgehog__1_1_2_1 n160_a_hedgehog__1_1_2_2 N n160_a_hedgehog__1_1_2->n160_a_hedgehog__1_1_2_2 n160_a_hedgehog__1_1_2_3 PP n160_a_hedgehog__1_1_2->n160_a_hedgehog__1_1_2_3 n160_a_hedgehog__1_1_2_1->n160_a_hedgehog__1_1_2_1_1 n160_a_hedgehog__1_1_2_2->n160_a_hedgehog__1_1_2_2_1 n160_a_hedgehog__1_1_2_3_1 P-ROLE n160_a_hedgehog__1_1_2_3->n160_a_hedgehog__1_1_2_3_1 n160_a_hedgehog__1_1_2_3_2 NP n160_a_hedgehog__1_1_2_3->n160_a_hedgehog__1_1_2_3_2 n160_a_hedgehog__1_1_2_3_1->n160_a_hedgehog__1_1_2_3_1_1 n160_a_hedgehog__1_1_2_3_2_1 D n160_a_hedgehog__1_1_2_3_2->n160_a_hedgehog__1_1_2_3_2_1 n160_a_hedgehog__1_1_2_3_2_2 N n160_a_hedgehog__1_1_2_3_2->n160_a_hedgehog__1_1_2_3_2_2 n160_a_hedgehog__1_1_2_3_2_3 PP n160_a_hedgehog__1_1_2_3_2->n160_a_hedgehog__1_1_2_3_2_3 n160_a_hedgehog__1_1_2_3_2_1->n160_a_hedgehog__1_1_2_3_2_1_1 n160_a_hedgehog__1_1_2_3_2_2->n160_a_hedgehog__1_1_2_3_2_2_1 n160_a_hedgehog__1_1_2_3_2_3_1 P-ROLE n160_a_hedgehog__1_1_2_3_2_3->n160_a_hedgehog__1_1_2_3_2_3_1 n160_a_hedgehog__1_1_2_3_2_3_2 NP n160_a_hedgehog__1_1_2_3_2_3->n160_a_hedgehog__1_1_2_3_2_3_2 n160_a_hedgehog__1_1_2_3_2_3_1->n160_a_hedgehog__1_1_2_3_2_3_1_1 n160_a_hedgehog__1_1_2_3_2_3_2_1 D n160_a_hedgehog__1_1_2_3_2_3_2->n160_a_hedgehog__1_1_2_3_2_3_2_1 n160_a_hedgehog__1_1_2_3_2_3_2_2 ADJP n160_a_hedgehog__1_1_2_3_2_3_2->n160_a_hedgehog__1_1_2_3_2_3_2_2 n160_a_hedgehog__1_1_2_3_2_3_2_3 NS n160_a_hedgehog__1_1_2_3_2_3_2->n160_a_hedgehog__1_1_2_3_2_3_2_3 n160_a_hedgehog__1_1_2_3_2_3_2_1->n160_a_hedgehog__1_1_2_3_2_3_2_1_1 n160_a_hedgehog__1_1_2_3_2_3_2_2_1 ADJ n160_a_hedgehog__1_1_2_3_2_3_2_2->n160_a_hedgehog__1_1_2_3_2_3_2_2_1 n160_a_hedgehog__1_1_2_3_2_3_2_2_1->n160_a_hedgehog__1_1_2_3_2_3_2_2_1_1 n160_a_hedgehog__1_1_2_3_2_3_2_3->n160_a_hedgehog__1_1_2_3_2_3_2_3_1 n160_a_hedgehog__1_2->n160_a_hedgehog__1_2_1 n160_a_hedgehog__1_3_1 PRO n160_a_hedgehog__1_3->n160_a_hedgehog__1_3_1 n160_a_hedgehog__1_3_1->n160_a_hedgehog__1_3_1_1 n160_a_hedgehog__1_4->n160_a_hedgehog__1_4_1 n160_a_hedgehog__1_5_1 VVN;_Tf_ n160_a_hedgehog__1_5->n160_a_hedgehog__1_5_1 n160_a_hedgehog__1_5_2 CP-THT-OB1 n160_a_hedgehog__1_5->n160_a_hedgehog__1_5_2 n160_a_hedgehog__1_5_1->n160_a_hedgehog__1_5_1_1 n160_a_hedgehog__1_5_2_1 IP-SUB n160_a_hedgehog__1_5_2->n160_a_hedgehog__1_5_2_1 n160_a_hedgehog__1_5_2_1_1 C n160_a_hedgehog__1_5_2_1->n160_a_hedgehog__1_5_2_1_1 n160_a_hedgehog__1_5_2_1_2 NP-SBJ n160_a_hedgehog__1_5_2_1->n160_a_hedgehog__1_5_2_1_2 n160_a_hedgehog__1_5_2_1_3 BEP;_Ln_ n160_a_hedgehog__1_5_2_1->n160_a_hedgehog__1_5_2_1_3 n160_a_hedgehog__1_5_2_1_4 NP-PRD n160_a_hedgehog__1_5_2_1->n160_a_hedgehog__1_5_2_1_4 n160_a_hedgehog__1_5_2_1_1->n160_a_hedgehog__1_5_2_1_1_1 n160_a_hedgehog__1_5_2_1_2_1 NS n160_a_hedgehog__1_5_2_1_2->n160_a_hedgehog__1_5_2_1_2_1 n160_a_hedgehog__1_5_2_1_2_1->n160_a_hedgehog__1_5_2_1_2_1_1 n160_a_hedgehog__1_5_2_1_3->n160_a_hedgehog__1_5_2_1_3_1 n160_a_hedgehog__1_5_2_1_4_1 D n160_a_hedgehog__1_5_2_1_4->n160_a_hedgehog__1_5_2_1_4_1 n160_a_hedgehog__1_5_2_1_4_2 ADJP n160_a_hedgehog__1_5_2_1_4->n160_a_hedgehog__1_5_2_1_4_2 n160_a_hedgehog__1_5_2_1_4_3 N n160_a_hedgehog__1_5_2_1_4->n160_a_hedgehog__1_5_2_1_4_3 n160_a_hedgehog__1_5_2_1_4_1->n160_a_hedgehog__1_5_2_1_4_1_1 n160_a_hedgehog__1_5_2_1_4_2_1 ADJ n160_a_hedgehog__1_5_2_1_4_2->n160_a_hedgehog__1_5_2_1_4_2_1 n160_a_hedgehog__1_5_2_1_4_2_1->n160_a_hedgehog__1_5_2_1_4_2_1_1 n160_a_hedgehog__1_5_2_1_4_3->n160_a_hedgehog__1_5_2_1_4_3_1 n160_a_hedgehog__1_6->n160_a_hedgehog__1_6_1 
( (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))