TSPC 139_a_hedgehog

139_a_hedgehog
We do not really understand its habit of aestivation, which is to say the hedgehog which my hon. Friend referred to -- the Pushto version of the hedgehog -- hibernates in the summer as well as the winter.

( (IP-MAT (NP-SBJ (PRO We;{we}))
          (DOP do;{do})
          (NEG not;{not})
          (ADVP-NIM (ADV really;{really}))
          (VB;_Tn_ understand;{understand})
          (NP-OB1 (NP-GEN;{HEDGEHOG} (PRO;_genm_ its;{its}))
                  (N habit;{habit})
                  (PP (P-ROLE of;{of})
                      (NP (N aestivation;{aestivation})
                          (PUNC ,)
                          (ADVP (ADV which_is_to_say;{which_is_to_say}))
                          (PRN (IP-MAT (NP-SBJ (D the;{the})
                                               (N hedgehog;{hedgehog})
                                               (IP-REL (NP-142 (RPRO which;{which}))
                                                       (NP-SBJ (NP-GEN (PRO;_genm_ my;{my}))
                                                               (N hon<dot>;{honorable})
                                                               (N Friend;{friend}))
                                                       (VBD;_Ipr_ referred;{refer[to]})
                                                       (PP-CLR (P-ROLE to;{to})
                                                               (NP *ICH*-142)))
                                               (PUNC --)
                                               (PRN (NP (D the;{the})
                                                        (NPR Pushto;{Pushto})
                                                        (N version;{version})
                                                        (PP (P-ROLE of;{of})
                                                            (NP (D the;{the})
                                                                (N hedgehog;{hedgehog})))))
                                               (PUNC --))
                                       (VBP;_I_ hibernates;{hibernate})
                                       (PP-NIM (P-ROLE in;{in})
                                               (NP (NLYR (NLYR (D the;{the})
                                                               (N summer;{summer}))
                                                         (CONJP (CONJ as_well_as;{as_well_as})
                                                                (NLYR (D the;{the})
                                                                      (N winter;{winter})))))))))))
          (PUNC .))
  (ID 139_a_hedgehog;speaker=Stewart))

arc(r_0139_0002__do_r_0139_0005__understand,r_0139_0001__We,arg0).
arc(r_0139_0002__do_r_0139_0005__understand,r_0139_0004__really,nim).
arc(r_0139_0002__do_r_0139_0005__understand,r_0139_0007__habit,arg1).
arc(r_0139_0003__not,r_0139_0002__do_r_0139_0005__understand,keep_scope).
arc(r_0139_0007__habit,r_0139_0006__its,gen).
arc(r_0139_0007__habit,r_0139_0009__aestivation,r_0139_0008__of).
arc(r_0139_0009__aestivation,r_0139_0011__which_is_to_say,qual).
arc(r_0139_0009__aestivation,r_0139_0028__hibernates,prn).
arc(r_0139_0016__hon_dot__r_0139_0017__Friend,r_0139_0015__my,gen).
arc(r_0139_0018__referred_r_0139_0019__to,r_0139_0012__the_r_0139_0013__hedgehog,arg1).
arc(r_0139_0018__referred_r_0139_0019__to,r_0139_0016__hon_dot__r_0139_0017__Friend,arg0).
arc(r_0139_0021__the_r_0139_0022__Pushto_r_0139_0023__version,r_0139_0025__the_r_0139_0026__hedgehog,r_0139_0024__of).
arc(r_0139_0028__hibernates,r_0139_0012__the_r_0139_0013__hedgehog,arg0).
arc(r_0139_0028__hibernates,r_0139_0032__as_well_as,r_0139_0029__in__nim).
arc(r_0139_0032__as_well_as,r_0139_0030__the_r_0139_0031__summer,conj1).
arc(r_0139_0032__as_well_as,r_0139_0033__the_r_0139_0034__winter,conj2).
arc(z_0139_5010,r_0139_0012__the_r_0139_0013__hedgehog,arg0).
arc(z_0139_5010,r_0139_0021__the_r_0139_0022__Pushto_r_0139_0023__version,prd).

fof(formula,axiom,
    ? [R_0139_0012__THE_R_0139_0013__HEDGEHOG,R_0139_0015__MY,R_0139_0016__HON_DOT__R_0139_0017__FRIEND,R_0139_0018__REFERRED_R_0139_0019__TO,R_0139_0025__THE_R_0139_0026__HEDGEHOG,R_0139_0021__THE_R_0139_0022__PUSHTO_R_0139_0023__VERSION,Z_0139_5010] :
      ( r_0139_0012__the_r_0139_0013__hedgehog(R_0139_0012__THE_R_0139_0013__HEDGEHOG)
      & r_0139_0015__my(R_0139_0015__MY)
      & r_0139_0025__the_r_0139_0026__hedgehog(R_0139_0025__THE_R_0139_0026__HEDGEHOG)
      & z_0139_5010(Z_0139_5010)
      & has_prd(Z_0139_5010,R_0139_0021__THE_R_0139_0022__PUSHTO_R_0139_0023__VERSION)
      & r_0139_0021__the_r_0139_0022__Pushto_r_0139_0023__version(R_0139_0021__THE_R_0139_0022__PUSHTO_R_0139_0023__VERSION)
      & has_r_0139_0024__of(R_0139_0021__THE_R_0139_0022__PUSHTO_R_0139_0023__VERSION,R_0139_0025__THE_R_0139_0026__HEDGEHOG)
      & has_arg0(Z_0139_5010,R_0139_0012__THE_R_0139_0013__HEDGEHOG)
      & r_0139_0018__referred_r_0139_0019__to(R_0139_0018__REFERRED_R_0139_0019__TO)
      & has_arg0(R_0139_0018__REFERRED_R_0139_0019__TO,R_0139_0016__HON_DOT__R_0139_0017__FRIEND)
      & r_0139_0016__hon_dot__r_0139_0017__Friend(R_0139_0016__HON_DOT__R_0139_0017__FRIEND)
      & has_gen(R_0139_0016__HON_DOT__R_0139_0017__FRIEND,R_0139_0015__MY)
      & has_arg1(R_0139_0018__REFERRED_R_0139_0019__TO,R_0139_0012__THE_R_0139_0013__HEDGEHOG)
      & ~ ? [R_0139_0001__WE,R_0139_0004__REALLY,R_0139_0006__ITS,R_0139_0011__WHICH_IS_TO_SAY,R_0139_0030__THE_R_0139_0031__SUMMER,R_0139_0033__THE_R_0139_0034__WINTER,R_0139_0032__AS_WELL_AS,R_0139_0028__HIBERNATES,R_0139_0009__AESTIVATION,R_0139_0007__HABIT,R_0139_0002__DO_R_0139_0005__UNDERSTAND] :
            ( r_0139_0001__We(R_0139_0001__WE)
            & r_0139_0004__really(R_0139_0004__REALLY)
            & r_0139_0006__its(R_0139_0006__ITS)
            & r_0139_0011__which_is_to_say(R_0139_0011__WHICH_IS_TO_SAY)
            & r_0139_0030__the_r_0139_0031__summer(R_0139_0030__THE_R_0139_0031__SUMMER)
            & r_0139_0033__the_r_0139_0034__winter(R_0139_0033__THE_R_0139_0034__WINTER)
            & r_0139_0002__do_r_0139_0005__understand(R_0139_0002__DO_R_0139_0005__UNDERSTAND)
            & has_arg1(R_0139_0002__DO_R_0139_0005__UNDERSTAND,R_0139_0007__HABIT)
            & r_0139_0007__habit(R_0139_0007__HABIT)
            & has_r_0139_0008__of(R_0139_0007__HABIT,R_0139_0009__AESTIVATION)
            & r_0139_0009__aestivation(R_0139_0009__AESTIVATION)
            & has_prn(R_0139_0009__AESTIVATION,R_0139_0028__HIBERNATES)
            & r_0139_0028__hibernates(R_0139_0028__HIBERNATES)
            & has_r_0139_0029__in__nim(R_0139_0028__HIBERNATES,R_0139_0032__AS_WELL_AS)
            & r_0139_0032__as_well_as(R_0139_0032__AS_WELL_AS)
            & has_conj2(R_0139_0032__AS_WELL_AS,R_0139_0033__THE_R_0139_0034__WINTER)
            & has_conj1(R_0139_0032__AS_WELL_AS,R_0139_0030__THE_R_0139_0031__SUMMER)
            & has_arg0(R_0139_0028__HIBERNATES,R_0139_0012__THE_R_0139_0013__HEDGEHOG)
            & has_qual(R_0139_0009__AESTIVATION,R_0139_0011__WHICH_IS_TO_SAY)
            & has_gen(R_0139_0007__HABIT,R_0139_0006__ITS)
            & has_nim(R_0139_0002__DO_R_0139_0005__UNDERSTAND,R_0139_0004__REALLY)
            & has_arg0(R_0139_0002__DO_R_0139_0005__UNDERSTAND,R_0139_0001__WE) ) ) ).