Context                Previous, Next                Top


173_a_hedgehog
This is true in relation to bees, to beavers and in particular to Hugh Warwick's work on hedgehogs.

%3 r_0173_0002__is is r_0173_0001__This This r_0173_0002__is->r_0173_0001__This [arg0] r_0173_0003__true true r_0173_0002__is->r_0173_0003__true [prd] r_0173_0005__bees bees r_0173_0002__is->r_0173_0005__bees in relation to [nim] r_0173_0008__beavers beavers r_0173_0002__is->r_0173_0008__beavers to [nim] r_0173_0015__work work r_0173_0002__is->r_0173_0015__work and in particular to [nim] r_0173_0012__Hugh_r_0173_0013__Warwick_r_0173_0014___apos_s Hugh Warwick 's r_0173_0015__work->r_0173_0012__Hugh_r_0173_0013__Warwick_r_0173_0014___apos_s [gen] r_0173_0017__hedgehogs hedgehogs r_0173_0015__work->r_0173_0017__hedgehogs on 
arc(r_0173_0002__is, r_0173_0001__This, arg0).
arc(r_0173_0002__is, r_0173_0003__true, prd).
arc(r_0173_0002__is, r_0173_0005__bees, r_0173_0004__in_relation_to_nim13).
arc(r_0173_0002__is, r_0173_0008__beavers, r_0173_0007__to_nim21).
arc(r_0173_0002__is, r_0173_0015__work, r_0173_0009__and_r_0173_0010__in_particular_r_0173_0011__to_nim31).
arc(r_0173_0015__work, r_0173_0012__Hugh_r_0173_0013__Warwick_r_0173_0014___apos_s, gen).
arc(r_0173_0015__work, r_0173_0017__hedgehogs, r_0173_0016__on).


%3 r_0173_0015__work work r_0173_0017__hedgehogs hedgehogs r_0173_0015__work->r_0173_0017__hedgehogs on r_0173_0012__Hugh_r_0173_0013__Warwick_r_0173_0014___apos_s Hugh Warwick 's r_0173_0015__work->r_0173_0012__Hugh_r_0173_0013__Warwick_r_0173_0014___apos_s [gen] r_0173_0002__is is r_0173_0002__is->r_0173_0015__work and in particular to [nim] r_0173_0008__beavers beavers r_0173_0002__is->r_0173_0008__beavers to [nim] r_0173_0005__bees bees r_0173_0002__is->r_0173_0005__bees in relation to [nim] r_0173_0003__true true r_0173_0002__is->r_0173_0003__true [prd] r_0173_0001__This This r_0173_0002__is->r_0173_0001__This [arg0] 
fof(formula,axiom,
    ? [R_0173_0001__THIS,R_0173_0003__TRUE,R_0173_0005__BEES,R_0173_0008__BEAVERS,R_0173_0012__HUGH_R_0173_0013__WARWICK_R_0173_0014___APOS_S,R_0173_0017__HEDGEHOGS,R_0173_0015__WORK,R_0173_0002__IS] :
      ( r_0173_0001__This(R_0173_0001__THIS)
      & r_0173_0003__true(R_0173_0003__TRUE)
      & r_0173_0005__bees(R_0173_0005__BEES)
      & r_0173_0008__beavers(R_0173_0008__BEAVERS)
      & r_0173_0012__Hugh_r_0173_0013__Warwick_r_0173_0014___apos_s(R_0173_0012__HUGH_R_0173_0013__WARWICK_R_0173_0014___APOS_S)
      & r_0173_0017__hedgehogs(R_0173_0017__HEDGEHOGS)
      & r_0173_0002__is(R_0173_0002__IS)
      & has_r_0173_0009__and_r_0173_0010__in_particular_r_0173_0011__to_nim31(R_0173_0002__IS,R_0173_0015__WORK)
      & r_0173_0015__work(R_0173_0015__WORK)
      & has_r_0173_0016__on(R_0173_0015__WORK,R_0173_0017__HEDGEHOGS)
      & has_gen(R_0173_0015__WORK,R_0173_0012__HUGH_R_0173_0013__WARWICK_R_0173_0014___APOS_S)
      & has_r_0173_0007__to_nim21(R_0173_0002__IS,R_0173_0008__BEAVERS)
      & has_r_0173_0004__in_relation_to_nim13(R_0173_0002__IS,R_0173_0005__BEES)
      & has_prd(R_0173_0002__IS,R_0173_0003__TRUE)
      & has_arg0(R_0173_0002__IS,R_0173_0001__THIS) ) ).


n173_a_hedgehog n173_a_hedgehog__1_1_1_1 This n173_a_hedgehog__1_2_1 is n173_a_hedgehog__1_3_1_1 true n173_a_hedgehog__1_4_1_1 in_relation_to n173_a_hedgehog__1_4_2_1_1 bees n173_a_hedgehog__1_5_1 , n173_a_hedgehog__1_6_1_1 to n173_a_hedgehog__1_6_2_1_1 beavers n173_a_hedgehog__1_7_1_1 and n173_a_hedgehog__1_7_2_1 in_particular n173_a_hedgehog__1_7_3_1 to n173_a_hedgehog__1_7_4_1_1_1 Hugh n173_a_hedgehog__1_7_4_1_2_1 Warwick n173_a_hedgehog__1_7_4_1_3_1 's n173_a_hedgehog__1_7_4_2_1 work n173_a_hedgehog__1_7_4_3_1_1 on n173_a_hedgehog__1_7_4_3_2_1_1 hedgehogs n173_a_hedgehog__1_8_1 . n173_a_hedgehog__1 IP-MAT n173_a_hedgehog__1_1 NP-SBJ n173_a_hedgehog__1->n173_a_hedgehog__1_1 n173_a_hedgehog__1_2 BEP;_La_ n173_a_hedgehog__1->n173_a_hedgehog__1_2 n173_a_hedgehog__1_3 ADJP-PRD n173_a_hedgehog__1->n173_a_hedgehog__1_3 n173_a_hedgehog__1_4 PP-NIM n173_a_hedgehog__1->n173_a_hedgehog__1_4 n173_a_hedgehog__1_5 PUNC n173_a_hedgehog__1->n173_a_hedgehog__1_5 n173_a_hedgehog__1_6 PP-NIM n173_a_hedgehog__1->n173_a_hedgehog__1_6 n173_a_hedgehog__1_7 PP-NIM n173_a_hedgehog__1->n173_a_hedgehog__1_7 n173_a_hedgehog__1_8 PUNC n173_a_hedgehog__1->n173_a_hedgehog__1_8 n173_a_hedgehog__1_1_1 D;_nphd_ n173_a_hedgehog__1_1->n173_a_hedgehog__1_1_1 n173_a_hedgehog__1_1_1->n173_a_hedgehog__1_1_1_1 n173_a_hedgehog__1_2->n173_a_hedgehog__1_2_1 n173_a_hedgehog__1_3_1 ADJ n173_a_hedgehog__1_3->n173_a_hedgehog__1_3_1 n173_a_hedgehog__1_3_1->n173_a_hedgehog__1_3_1_1 n173_a_hedgehog__1_4_1 P-ROLE n173_a_hedgehog__1_4->n173_a_hedgehog__1_4_1 n173_a_hedgehog__1_4_2 NP n173_a_hedgehog__1_4->n173_a_hedgehog__1_4_2 n173_a_hedgehog__1_4_1->n173_a_hedgehog__1_4_1_1 n173_a_hedgehog__1_4_2_1 NS n173_a_hedgehog__1_4_2->n173_a_hedgehog__1_4_2_1 n173_a_hedgehog__1_4_2_1->n173_a_hedgehog__1_4_2_1_1 n173_a_hedgehog__1_5->n173_a_hedgehog__1_5_1 n173_a_hedgehog__1_6_1 P-ROLE n173_a_hedgehog__1_6->n173_a_hedgehog__1_6_1 n173_a_hedgehog__1_6_2 NP n173_a_hedgehog__1_6->n173_a_hedgehog__1_6_2 n173_a_hedgehog__1_6_1->n173_a_hedgehog__1_6_1_1 n173_a_hedgehog__1_6_2_1 NS n173_a_hedgehog__1_6_2->n173_a_hedgehog__1_6_2_1 n173_a_hedgehog__1_6_2_1->n173_a_hedgehog__1_6_2_1_1 n173_a_hedgehog__1_7_1 CONJ n173_a_hedgehog__1_7->n173_a_hedgehog__1_7_1 n173_a_hedgehog__1_7_2 ADV n173_a_hedgehog__1_7->n173_a_hedgehog__1_7_2 n173_a_hedgehog__1_7_3 P-ROLE n173_a_hedgehog__1_7->n173_a_hedgehog__1_7_3 n173_a_hedgehog__1_7_4 NP n173_a_hedgehog__1_7->n173_a_hedgehog__1_7_4 n173_a_hedgehog__1_7_1->n173_a_hedgehog__1_7_1_1 n173_a_hedgehog__1_7_2->n173_a_hedgehog__1_7_2_1 n173_a_hedgehog__1_7_3->n173_a_hedgehog__1_7_3_1 n173_a_hedgehog__1_7_4_1 NP-GEN n173_a_hedgehog__1_7_4->n173_a_hedgehog__1_7_4_1 n173_a_hedgehog__1_7_4_2 N n173_a_hedgehog__1_7_4->n173_a_hedgehog__1_7_4_2 n173_a_hedgehog__1_7_4_3 PP n173_a_hedgehog__1_7_4->n173_a_hedgehog__1_7_4_3 n173_a_hedgehog__1_7_4_1_1 NPR n173_a_hedgehog__1_7_4_1->n173_a_hedgehog__1_7_4_1_1 n173_a_hedgehog__1_7_4_1_2 NPR n173_a_hedgehog__1_7_4_1->n173_a_hedgehog__1_7_4_1_2 n173_a_hedgehog__1_7_4_1_3 GENM n173_a_hedgehog__1_7_4_1->n173_a_hedgehog__1_7_4_1_3 n173_a_hedgehog__1_7_4_1_1->n173_a_hedgehog__1_7_4_1_1_1 n173_a_hedgehog__1_7_4_1_2->n173_a_hedgehog__1_7_4_1_2_1 n173_a_hedgehog__1_7_4_1_3->n173_a_hedgehog__1_7_4_1_3_1 n173_a_hedgehog__1_7_4_2->n173_a_hedgehog__1_7_4_2_1 n173_a_hedgehog__1_7_4_3_1 P-ROLE n173_a_hedgehog__1_7_4_3->n173_a_hedgehog__1_7_4_3_1 n173_a_hedgehog__1_7_4_3_2 NP n173_a_hedgehog__1_7_4_3->n173_a_hedgehog__1_7_4_3_2 n173_a_hedgehog__1_7_4_3_1->n173_a_hedgehog__1_7_4_3_1_1 n173_a_hedgehog__1_7_4_3_2_1 NS n173_a_hedgehog__1_7_4_3_2->n173_a_hedgehog__1_7_4_3_2_1 n173_a_hedgehog__1_7_4_3_2_1->n173_a_hedgehog__1_7_4_3_2_1_1 n173_a_hedgehog__1_8->n173_a_hedgehog__1_8_1 
( (IP-MAT (NP-SBJ (D;_nphd_ This;{this}))
          (BEP;_La_ is;{be})
          (ADJP-PRD (ADJ true;{true}))
          (PP-NIM (P-ROLE in_relation_to;{in_relation_to})
                  (NP (NS bees;{bee})))
          (PUNC ,)
          (PP-NIM (P-ROLE to;{to})
                  (NP (NS beavers;{beaver})))
          (PP-NIM (CONJ and;{and})
                  (ADV in_particular;{in_particular})
                  (P-ROLE to;{to})
                  (NP (NP-GEN;{WARWICK} (NPR Hugh;{Hugh})
                                        (NPR Warwick;{Warwick})
                                        (GENM <apos>s))
                      (N work;{work})
                      (PP (P-ROLE on;{on})
                          (NP (NS hedgehogs;{hedgehog})))))
          (PUNC .))
  (ID 173_a_hedgehog;speaker=Stewart))