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_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 
fof(formula,axiom,
    ? [R_173_2_IS,R_173_1_THIS,R_173_3_TRUE,R_173_5_BEES,R_173_8_BEAVERS,R_173_15_WORK,R_173_12_HUGH_WARWICK_APOS_S,R_173_17_HEDGEHOGS] :
      ( this(R_173_1_THIS)
      & true(R_173_3_TRUE)
      & bees(R_173_5_BEES)
      & beavers(R_173_8_BEAVERS)
      & hugh_Warwick_apos_s(R_173_12_HUGH_WARWICK_APOS_S)
      & hedgehogs(R_173_17_HEDGEHOGS)
      & is(R_173_2_IS,R_173_1_THIS,R_173_3_TRUE)
      & in_relation_to_nim13(R_173_2_IS,R_173_5_BEES)
      & to_nim21(R_173_2_IS,R_173_8_BEAVERS)
      & and_in_particular_to_nim31(R_173_2_IS,R_173_15_WORK)
      & work(R_173_15_WORK)
      & gen(R_173_15_WORK,R_173_12_HUGH_WARWICK_APOS_S)
      & on(R_173_15_WORK,R_173_17_HEDGEHOGS) ) ).


n173_a_hedgehog n173_a_hedgehog_4 This n173_a_hedgehog_6 is n173_a_hedgehog_9 true n173_a_hedgehog_12 in_relation_to n173_a_hedgehog_15 bees n173_a_hedgehog_17 , n173_a_hedgehog_20 to n173_a_hedgehog_23 beavers n173_a_hedgehog_26 and n173_a_hedgehog_28 in_particular n173_a_hedgehog_30 to n173_a_hedgehog_34 Hugh n173_a_hedgehog_36 Warwick n173_a_hedgehog_38 's n173_a_hedgehog_40 work n173_a_hedgehog_43 on n173_a_hedgehog_46 hedgehogs n173_a_hedgehog_48 . n173_a_hedgehog_1 IP-MAT n173_a_hedgehog_2 NP-SBJ n173_a_hedgehog_1->n173_a_hedgehog_2 n173_a_hedgehog_5 BEP;_La_ n173_a_hedgehog_1->n173_a_hedgehog_5 n173_a_hedgehog_7 ADJP-PRD n173_a_hedgehog_1->n173_a_hedgehog_7 n173_a_hedgehog_10 PP-NIM n173_a_hedgehog_1->n173_a_hedgehog_10 n173_a_hedgehog_16 PUNC n173_a_hedgehog_1->n173_a_hedgehog_16 n173_a_hedgehog_18 PP-NIM n173_a_hedgehog_1->n173_a_hedgehog_18 n173_a_hedgehog_24 PP-NIM n173_a_hedgehog_1->n173_a_hedgehog_24 n173_a_hedgehog_47 PUNC n173_a_hedgehog_1->n173_a_hedgehog_47 n173_a_hedgehog_3 D;_nphd_ n173_a_hedgehog_2->n173_a_hedgehog_3 n173_a_hedgehog_3->n173_a_hedgehog_4 n173_a_hedgehog_5->n173_a_hedgehog_6 n173_a_hedgehog_8 ADJ n173_a_hedgehog_7->n173_a_hedgehog_8 n173_a_hedgehog_8->n173_a_hedgehog_9 n173_a_hedgehog_11 P-ROLE n173_a_hedgehog_10->n173_a_hedgehog_11 n173_a_hedgehog_13 NP n173_a_hedgehog_10->n173_a_hedgehog_13 n173_a_hedgehog_11->n173_a_hedgehog_12 n173_a_hedgehog_14 NS n173_a_hedgehog_13->n173_a_hedgehog_14 n173_a_hedgehog_14->n173_a_hedgehog_15 n173_a_hedgehog_16->n173_a_hedgehog_17 n173_a_hedgehog_19 P-ROLE n173_a_hedgehog_18->n173_a_hedgehog_19 n173_a_hedgehog_21 NP n173_a_hedgehog_18->n173_a_hedgehog_21 n173_a_hedgehog_19->n173_a_hedgehog_20 n173_a_hedgehog_22 NS n173_a_hedgehog_21->n173_a_hedgehog_22 n173_a_hedgehog_22->n173_a_hedgehog_23 n173_a_hedgehog_25 CONJ n173_a_hedgehog_24->n173_a_hedgehog_25 n173_a_hedgehog_27 ADV n173_a_hedgehog_24->n173_a_hedgehog_27 n173_a_hedgehog_29 P-ROLE n173_a_hedgehog_24->n173_a_hedgehog_29 n173_a_hedgehog_31 NP n173_a_hedgehog_24->n173_a_hedgehog_31 n173_a_hedgehog_25->n173_a_hedgehog_26 n173_a_hedgehog_27->n173_a_hedgehog_28 n173_a_hedgehog_29->n173_a_hedgehog_30 n173_a_hedgehog_32 NP-GEN n173_a_hedgehog_31->n173_a_hedgehog_32 n173_a_hedgehog_39 N n173_a_hedgehog_31->n173_a_hedgehog_39 n173_a_hedgehog_41 PP n173_a_hedgehog_31->n173_a_hedgehog_41 n173_a_hedgehog_33 NPR n173_a_hedgehog_32->n173_a_hedgehog_33 n173_a_hedgehog_35 NPR n173_a_hedgehog_32->n173_a_hedgehog_35 n173_a_hedgehog_37 GENM n173_a_hedgehog_32->n173_a_hedgehog_37 n173_a_hedgehog_33->n173_a_hedgehog_34 n173_a_hedgehog_35->n173_a_hedgehog_36 n173_a_hedgehog_37->n173_a_hedgehog_38 n173_a_hedgehog_39->n173_a_hedgehog_40 n173_a_hedgehog_42 P-ROLE n173_a_hedgehog_41->n173_a_hedgehog_42 n173_a_hedgehog_44 NP n173_a_hedgehog_41->n173_a_hedgehog_44 n173_a_hedgehog_42->n173_a_hedgehog_43 n173_a_hedgehog_45 NS n173_a_hedgehog_44->n173_a_hedgehog_45 n173_a_hedgehog_45->n173_a_hedgehog_46 n173_a_hedgehog_47->n173_a_hedgehog_48 
( (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))