TSPC 173_a_hedgehog

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

( (IP-MAT (NP-SBJ (D;_nphd_ This;{this}))
          (BEP;_La_ is;{be})
          (ADJP-PRD (ADJ true;{true}))
          (PP-NIM (P-ROLE in;{in})
                  (NP (N relation;{relation})
                      (PP (PP (P-ROLE to;{to})
                              (NP (NS bees;{bee})))
                          (PUNC ,)
                          (CONJP (PP (P-ROLE to;{to})
                                     (NP (NS beavers;{beaver}))))
                          (CONJP (CONJ and;{and})
                                 (PP (ADVP-NIM (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))

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__relation,r_0173_0004__in__nim).
arc(r_0173_0005__relation,r_0173_0011__and,z_0173_5003).
arc(r_0173_0011__and,r_0173_0007__bees,r_0173_0006__to).
arc(r_0173_0011__and,r_0173_0010__beavers,r_0173_0009__to).
arc(r_0173_0011__and,r_0173_0017__work,r_0173_0012__in_particular_r_0173_0013__to).
arc(r_0173_0017__work,r_0173_0014__Hugh_r_0173_0015__Warwick,gen).
arc(r_0173_0017__work,r_0173_0019__hedgehogs,r_0173_0018__on).

fof(formula,axiom,
    ? [R_0173_0001__THIS,R_0173_0003__TRUE,R_0173_0007__BEES,R_0173_0010__BEAVERS,R_0173_0014__HUGH_R_0173_0015__WARWICK,R_0173_0019__HEDGEHOGS,R_0173_0017__WORK,R_0173_0011__AND,R_0173_0005__RELATION,R_0173_0002__IS] :
      ( r_0173_0001__This(R_0173_0001__THIS)
      & r_0173_0003__true(R_0173_0003__TRUE)
      & r_0173_0007__bees(R_0173_0007__BEES)
      & r_0173_0010__beavers(R_0173_0010__BEAVERS)
      & r_0173_0014__Hugh_r_0173_0015__Warwick(R_0173_0014__HUGH_R_0173_0015__WARWICK)
      & r_0173_0019__hedgehogs(R_0173_0019__HEDGEHOGS)
      & r_0173_0002__is(R_0173_0002__IS)
      & has_r_0173_0004__in__nim(R_0173_0002__IS,R_0173_0005__RELATION)
      & r_0173_0005__relation(R_0173_0005__RELATION)
      & has_z_0173_5003(R_0173_0005__RELATION,R_0173_0011__AND)
      & r_0173_0011__and(R_0173_0011__AND)
      & has_r_0173_0012__in_particular_r_0173_0013__to(R_0173_0011__AND,R_0173_0017__WORK)
      & r_0173_0017__work(R_0173_0017__WORK)
      & has_r_0173_0018__on(R_0173_0017__WORK,R_0173_0019__HEDGEHOGS)
      & has_gen(R_0173_0017__WORK,R_0173_0014__HUGH_R_0173_0015__WARWICK)
      & has_r_0173_0009__to(R_0173_0011__AND,R_0173_0010__BEAVERS)
      & has_r_0173_0006__to(R_0173_0011__AND,R_0173_0007__BEES)
      & has_prd(R_0173_0002__IS,R_0173_0003__TRUE)
      & has_arg0(R_0173_0002__IS,R_0173_0001__THIS) ) ).