TSPC 181_a_hedgehog

181_a_hedgehog
Do we want to have as our national symbol an animal that sleeps for six months of the year?

( (CP-QUE-MAT (IP-SUB (DOP Do;{do})
                      (NP-SBJ (PRO we;{we}))
                      (VB;_Tt_ want;{want})
                      (IP-INF-OB1 (TO to;{to})
                                  (HV;_Cn.n/a_ have;{have[as]})
                                  (PP-PRD (P-ROLE as;{as})
                                          (NP (NP-GEN (PRO;_genm_ our;{our}))
                                              (ADJP (ADJ national;{national}))
                                              (N symbol;{symbol})))
                                  (NP-OB1 (D an;{an})
                                          (N animal;{animal})
                                          (IP-REL (C that;{that})
                                                  (NP-SBJ *T*)
                                                  (VBP;_In/pr_ sleeps;{sleep[for]})
                                                  (PP-NIM (P-ROLE for;{for})
                                                          (NP (NUM six;{six})
                                                              (NS months;{month})
                                                              (PP (P-ROLE of;{of})
                                                                  (NP (D the;{the})
                                                                      (N year;{year})))))))))
              (PUNC ?))
  (ID 181_a_hedgehog;speaker=Stewart))

arc(r_0181_0001__Do_r_0181_0003__want,r_0181_0002__we,arg0).
arc(r_0181_0001__Do_r_0181_0003__want,r_0181_0005__have,arg1).
arc(r_0181_0005__have,r_0181_0002__we,arg0).
arc(r_0181_0005__have,r_0181_0009__symbol,r_0181_0006__as__prd).
arc(r_0181_0005__have,r_0181_0010__an_r_0181_0011__animal,arg1).
arc(r_0181_0009__symbol,r_0181_0002__we,gen).
arc(r_0181_0009__symbol,r_0181_0008__national,attrib).
arc(r_0181_0013__sleeps,r_0181_0010__an_r_0181_0011__animal,inv_arg0).
arc(r_0181_0013__sleeps,r_0181_0015__six_r_0181_0016__months,r_0181_0014__for__nim).
arc(r_0181_0015__six_r_0181_0016__months,r_0181_0018__the_r_0181_0019__year,r_0181_0017__of).

fof(formula,axiom,
    ? [R_0181_0002__WE,R_0181_0008__NATIONAL,R_0181_0009__SYMBOL,R_0181_0018__THE_R_0181_0019__YEAR,R_0181_0015__SIX_R_0181_0016__MONTHS,R_0181_0013__SLEEPS,R_0181_0010__AN_R_0181_0011__ANIMAL,R_0181_0005__HAVE,R_0181_0001__DO_R_0181_0003__WANT] :
      ( r_0181_0002__we(R_0181_0002__WE)
      & r_0181_0008__national(R_0181_0008__NATIONAL)
      & r_0181_0018__the_r_0181_0019__year(R_0181_0018__THE_R_0181_0019__YEAR)
      & r_0181_0001__Do_r_0181_0003__want(R_0181_0001__DO_R_0181_0003__WANT)
      & has_arg1(R_0181_0001__DO_R_0181_0003__WANT,R_0181_0005__HAVE)
      & r_0181_0005__have(R_0181_0005__HAVE)
      & has_arg1(R_0181_0005__HAVE,R_0181_0010__AN_R_0181_0011__ANIMAL)
      & r_0181_0010__an_r_0181_0011__animal(R_0181_0010__AN_R_0181_0011__ANIMAL)
      & has_inv_arg0(R_0181_0010__AN_R_0181_0011__ANIMAL,R_0181_0013__SLEEPS)
      & r_0181_0013__sleeps(R_0181_0013__SLEEPS)
      & has_r_0181_0014__for__nim(R_0181_0013__SLEEPS,R_0181_0015__SIX_R_0181_0016__MONTHS)
      & r_0181_0015__six_r_0181_0016__months(R_0181_0015__SIX_R_0181_0016__MONTHS)
      & has_r_0181_0017__of(R_0181_0015__SIX_R_0181_0016__MONTHS,R_0181_0018__THE_R_0181_0019__YEAR)
      & has_r_0181_0006__as__prd(R_0181_0005__HAVE,R_0181_0009__SYMBOL)
      & r_0181_0009__symbol(R_0181_0009__SYMBOL)
      & has_attrib(R_0181_0009__SYMBOL,R_0181_0008__NATIONAL)
      & has_gen(R_0181_0009__SYMBOL,R_0181_0002__WE)
      & has_arg0(R_0181_0005__HAVE,R_0181_0002__WE)
      & has_arg0(R_0181_0001__DO_R_0181_0003__WANT,R_0181_0002__WE) ) ).