Context                Previous, Next                Top


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

%3 r_0181_0001__Do_r_0181_0003__want Do want r_0181_0002__we we r_0181_0001__Do_r_0181_0003__want->r_0181_0002__we [arg0] r_0181_0004__to_r_0181_0005__have to have r_0181_0001__Do_r_0181_0003__want->r_0181_0004__to_r_0181_0005__have [arg1] r_0181_0004__to_r_0181_0005__have->r_0181_0002__we [arg0] r_0181_0009__symbol symbol r_0181_0004__to_r_0181_0005__have->r_0181_0009__symbol [prd] r_0181_0010__an_r_0181_0011__animal an animal r_0181_0004__to_r_0181_0005__have->r_0181_0010__an_r_0181_0011__animal [arg1] r_0181_0009__symbol->r_0181_0002__we [gen] r_0181_0008__national national r_0181_0009__symbol->r_0181_0008__national [attrib] r_0181_0012__that_r_0181_0013__sleeps that sleeps r_0181_0012__that_r_0181_0013__sleeps->r_0181_0010__an_r_0181_0011__animal [arg0] r_0181_0015__six_r_0181_0016__months six months r_0181_0012__that_r_0181_0013__sleeps->r_0181_0015__six_r_0181_0016__months for [nim] r_0181_0018__the_r_0181_0019__year the year r_0181_0015__six_r_0181_0016__months->r_0181_0018__the_r_0181_0019__year of 
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_0004__to_r_0181_0005__have, arg1).
arc(r_0181_0004__to_r_0181_0005__have, r_0181_0002__we, arg0).
arc(r_0181_0004__to_r_0181_0005__have, r_0181_0009__symbol, prd).
arc(r_0181_0004__to_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, attrib22).
arc(r_0181_0012__that_r_0181_0013__sleeps, r_0181_0010__an_r_0181_0011__animal, arg0).
arc(r_0181_0012__that_r_0181_0013__sleeps, r_0181_0015__six_r_0181_0016__months, r_0181_0014__for_nim42).
arc(r_0181_0015__six_r_0181_0016__months, r_0181_0018__the_r_0181_0019__year, r_0181_0017__of).


%3 r_0181_0015__six_r_0181_0016__months six months r_0181_0018__the_r_0181_0019__year the year r_0181_0015__six_r_0181_0016__months->r_0181_0018__the_r_0181_0019__year of r_0181_0012__that_r_0181_0013__sleeps that sleeps r_0181_0012__that_r_0181_0013__sleeps->r_0181_0015__six_r_0181_0016__months for [nim] r_0181_0010__an_r_0181_0011__animal an animal r_0181_0012__that_r_0181_0013__sleeps->r_0181_0010__an_r_0181_0011__animal [arg0] r_0181_0009__symbol symbol r_0181_0008__national national r_0181_0009__symbol->r_0181_0008__national [attrib] r_0181_0002__we we r_0181_0009__symbol->r_0181_0002__we [gen] r_0181_0004__to_r_0181_0005__have to have r_0181_0004__to_r_0181_0005__have->r_0181_0010__an_r_0181_0011__animal [arg1] r_0181_0004__to_r_0181_0005__have->r_0181_0009__symbol [prd] r_0181_0004__to_r_0181_0005__have->r_0181_0002__we [arg0] r_0181_0001__Do_r_0181_0003__want Do want r_0181_0001__Do_r_0181_0003__want->r_0181_0002__we [arg0] r_0181_0001__Do_r_0181_0003__want->r_0181_0004__to_r_0181_0005__have [arg1] 
fof(formula,axiom,
    ? [R_181_1_DO_WANT,R_181_4_TO_HAVE,R_181_9_SYMBOL,R_181_8_NATIONAL,R_181_2_WE,R_181_12_THAT_SLEEPS,R_181_10_AN_ANIMAL,R_181_15_SIX_MONTHS,R_181_18_THE_YEAR] :
      ( national(R_181_8_NATIONAL)
      & we(R_181_2_WE)
      & an_animal(R_181_10_AN_ANIMAL)
      & the_year(R_181_18_THE_YEAR)
      & do_want(R_181_1_DO_WANT,R_181_2_WE,R_181_4_TO_HAVE)
      & to_have(R_181_4_TO_HAVE,R_181_2_WE,R_181_10_AN_ANIMAL,R_181_9_SYMBOL)
      & symbol(R_181_9_SYMBOL)
      & attrib22(R_181_9_SYMBOL,R_181_8_NATIONAL)
      & gen(R_181_9_SYMBOL,R_181_2_WE)
      & that_sleeps(R_181_12_THAT_SLEEPS,R_181_10_AN_ANIMAL)
      & for_nim42(R_181_12_THAT_SLEEPS,R_181_15_SIX_MONTHS)
      & six_months(R_181_15_SIX_MONTHS)
      & of(R_181_15_SIX_MONTHS,R_181_18_THE_YEAR) ) ).


n181_a_hedgehog n181_a_hedgehog__1_1_1_1 Do n181_a_hedgehog__1_1_2_1_1 we n181_a_hedgehog__1_1_3_1 want n181_a_hedgehog__1_1_4_1_1 to n181_a_hedgehog__1_1_4_2_1 have n181_a_hedgehog__1_1_4_3_1_1 as n181_a_hedgehog__1_1_4_3_2_1_1_1 our n181_a_hedgehog__1_1_4_3_2_2_1_1 national n181_a_hedgehog__1_1_4_3_2_3_1 symbol n181_a_hedgehog__1_1_4_4_1_1 an n181_a_hedgehog__1_1_4_4_2_1 animal n181_a_hedgehog__1_1_4_4_3_1_1 that n181_a_hedgehog__1_1_4_4_3_2_1 *T* n181_a_hedgehog__1_1_4_4_3_3_1 sleeps n181_a_hedgehog__1_1_4_4_3_4_1_1 for n181_a_hedgehog__1_1_4_4_3_4_2_1_1 six n181_a_hedgehog__1_1_4_4_3_4_2_2_1 months n181_a_hedgehog__1_1_4_4_3_4_2_3_1_1 of n181_a_hedgehog__1_1_4_4_3_4_2_3_2_1_1 the n181_a_hedgehog__1_1_4_4_3_4_2_3_2_2_1 year n181_a_hedgehog__1_2_1 ? n181_a_hedgehog__1 CP-QUE-MAT n181_a_hedgehog__1_1 IP-SUB n181_a_hedgehog__1->n181_a_hedgehog__1_1 n181_a_hedgehog__1_2 PUNC n181_a_hedgehog__1->n181_a_hedgehog__1_2 n181_a_hedgehog__1_1_1 DOP n181_a_hedgehog__1_1->n181_a_hedgehog__1_1_1 n181_a_hedgehog__1_1_2 NP-SBJ n181_a_hedgehog__1_1->n181_a_hedgehog__1_1_2 n181_a_hedgehog__1_1_3 VB;_Tt_ n181_a_hedgehog__1_1->n181_a_hedgehog__1_1_3 n181_a_hedgehog__1_1_4 IP-INF-OB1 n181_a_hedgehog__1_1->n181_a_hedgehog__1_1_4 n181_a_hedgehog__1_1_1->n181_a_hedgehog__1_1_1_1 n181_a_hedgehog__1_1_2_1 PRO n181_a_hedgehog__1_1_2->n181_a_hedgehog__1_1_2_1 n181_a_hedgehog__1_1_2_1->n181_a_hedgehog__1_1_2_1_1 n181_a_hedgehog__1_1_3->n181_a_hedgehog__1_1_3_1 n181_a_hedgehog__1_1_4_1 TO n181_a_hedgehog__1_1_4->n181_a_hedgehog__1_1_4_1 n181_a_hedgehog__1_1_4_2 HV;_Cn.n/a_ n181_a_hedgehog__1_1_4->n181_a_hedgehog__1_1_4_2 n181_a_hedgehog__1_1_4_3 PP-PRD n181_a_hedgehog__1_1_4->n181_a_hedgehog__1_1_4_3 n181_a_hedgehog__1_1_4_4 NP-OB1 n181_a_hedgehog__1_1_4->n181_a_hedgehog__1_1_4_4 n181_a_hedgehog__1_1_4_1->n181_a_hedgehog__1_1_4_1_1 n181_a_hedgehog__1_1_4_2->n181_a_hedgehog__1_1_4_2_1 n181_a_hedgehog__1_1_4_3_1 P-ROLE n181_a_hedgehog__1_1_4_3->n181_a_hedgehog__1_1_4_3_1 n181_a_hedgehog__1_1_4_3_2 NP n181_a_hedgehog__1_1_4_3->n181_a_hedgehog__1_1_4_3_2 n181_a_hedgehog__1_1_4_3_1->n181_a_hedgehog__1_1_4_3_1_1 n181_a_hedgehog__1_1_4_3_2_1 NP-GEN n181_a_hedgehog__1_1_4_3_2->n181_a_hedgehog__1_1_4_3_2_1 n181_a_hedgehog__1_1_4_3_2_2 ADJP n181_a_hedgehog__1_1_4_3_2->n181_a_hedgehog__1_1_4_3_2_2 n181_a_hedgehog__1_1_4_3_2_3 N n181_a_hedgehog__1_1_4_3_2->n181_a_hedgehog__1_1_4_3_2_3 n181_a_hedgehog__1_1_4_3_2_1_1 PRO;_genm_ n181_a_hedgehog__1_1_4_3_2_1->n181_a_hedgehog__1_1_4_3_2_1_1 n181_a_hedgehog__1_1_4_3_2_1_1->n181_a_hedgehog__1_1_4_3_2_1_1_1 n181_a_hedgehog__1_1_4_3_2_2_1 ADJ n181_a_hedgehog__1_1_4_3_2_2->n181_a_hedgehog__1_1_4_3_2_2_1 n181_a_hedgehog__1_1_4_3_2_2_1->n181_a_hedgehog__1_1_4_3_2_2_1_1 n181_a_hedgehog__1_1_4_3_2_3->n181_a_hedgehog__1_1_4_3_2_3_1 n181_a_hedgehog__1_1_4_4_1 D n181_a_hedgehog__1_1_4_4->n181_a_hedgehog__1_1_4_4_1 n181_a_hedgehog__1_1_4_4_2 N n181_a_hedgehog__1_1_4_4->n181_a_hedgehog__1_1_4_4_2 n181_a_hedgehog__1_1_4_4_3 IP-REL n181_a_hedgehog__1_1_4_4->n181_a_hedgehog__1_1_4_4_3 n181_a_hedgehog__1_1_4_4_1->n181_a_hedgehog__1_1_4_4_1_1 n181_a_hedgehog__1_1_4_4_2->n181_a_hedgehog__1_1_4_4_2_1 n181_a_hedgehog__1_1_4_4_3_1 C n181_a_hedgehog__1_1_4_4_3->n181_a_hedgehog__1_1_4_4_3_1 n181_a_hedgehog__1_1_4_4_3_2 NP-SBJ n181_a_hedgehog__1_1_4_4_3->n181_a_hedgehog__1_1_4_4_3_2 n181_a_hedgehog__1_1_4_4_3_3 VBP;_In/pr_ n181_a_hedgehog__1_1_4_4_3->n181_a_hedgehog__1_1_4_4_3_3 n181_a_hedgehog__1_1_4_4_3_4 PP-NIM n181_a_hedgehog__1_1_4_4_3->n181_a_hedgehog__1_1_4_4_3_4 n181_a_hedgehog__1_1_4_4_3_1->n181_a_hedgehog__1_1_4_4_3_1_1 n181_a_hedgehog__1_1_4_4_3_2->n181_a_hedgehog__1_1_4_4_3_2_1 n181_a_hedgehog__1_1_4_4_3_3->n181_a_hedgehog__1_1_4_4_3_3_1 n181_a_hedgehog__1_1_4_4_3_4_1 P-ROLE n181_a_hedgehog__1_1_4_4_3_4->n181_a_hedgehog__1_1_4_4_3_4_1 n181_a_hedgehog__1_1_4_4_3_4_2 NP n181_a_hedgehog__1_1_4_4_3_4->n181_a_hedgehog__1_1_4_4_3_4_2 n181_a_hedgehog__1_1_4_4_3_4_1->n181_a_hedgehog__1_1_4_4_3_4_1_1 n181_a_hedgehog__1_1_4_4_3_4_2_1 NUM n181_a_hedgehog__1_1_4_4_3_4_2->n181_a_hedgehog__1_1_4_4_3_4_2_1 n181_a_hedgehog__1_1_4_4_3_4_2_2 NS n181_a_hedgehog__1_1_4_4_3_4_2->n181_a_hedgehog__1_1_4_4_3_4_2_2 n181_a_hedgehog__1_1_4_4_3_4_2_3 PP n181_a_hedgehog__1_1_4_4_3_4_2->n181_a_hedgehog__1_1_4_4_3_4_2_3 n181_a_hedgehog__1_1_4_4_3_4_2_1->n181_a_hedgehog__1_1_4_4_3_4_2_1_1 n181_a_hedgehog__1_1_4_4_3_4_2_2->n181_a_hedgehog__1_1_4_4_3_4_2_2_1 n181_a_hedgehog__1_1_4_4_3_4_2_3_1 P-ROLE n181_a_hedgehog__1_1_4_4_3_4_2_3->n181_a_hedgehog__1_1_4_4_3_4_2_3_1 n181_a_hedgehog__1_1_4_4_3_4_2_3_2 NP n181_a_hedgehog__1_1_4_4_3_4_2_3->n181_a_hedgehog__1_1_4_4_3_4_2_3_2 n181_a_hedgehog__1_1_4_4_3_4_2_3_1->n181_a_hedgehog__1_1_4_4_3_4_2_3_1_1 n181_a_hedgehog__1_1_4_4_3_4_2_3_2_1 D n181_a_hedgehog__1_1_4_4_3_4_2_3_2->n181_a_hedgehog__1_1_4_4_3_4_2_3_2_1 n181_a_hedgehog__1_1_4_4_3_4_2_3_2_2 N n181_a_hedgehog__1_1_4_4_3_4_2_3_2->n181_a_hedgehog__1_1_4_4_3_4_2_3_2_2 n181_a_hedgehog__1_1_4_4_3_4_2_3_2_1->n181_a_hedgehog__1_1_4_4_3_4_2_3_2_1_1 n181_a_hedgehog__1_1_4_4_3_4_2_3_2_2->n181_a_hedgehog__1_1_4_4_3_4_2_3_2_2_1 n181_a_hedgehog__1_2->n181_a_hedgehog__1_2_1 
( (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))