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_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 
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_4 Do n181_a_hedgehog_7 we n181_a_hedgehog_9 want n181_a_hedgehog_12 to n181_a_hedgehog_14 have n181_a_hedgehog_17 as n181_a_hedgehog_21 our n181_a_hedgehog_24 national n181_a_hedgehog_26 symbol n181_a_hedgehog_29 an n181_a_hedgehog_31 animal n181_a_hedgehog_34 that n181_a_hedgehog_36 *T* n181_a_hedgehog_38 sleeps n181_a_hedgehog_41 for n181_a_hedgehog_44 six n181_a_hedgehog_46 months n181_a_hedgehog_49 of n181_a_hedgehog_52 the n181_a_hedgehog_54 year n181_a_hedgehog_56 ? n181_a_hedgehog_1 CP-QUE-MAT n181_a_hedgehog_2 IP-SUB n181_a_hedgehog_1->n181_a_hedgehog_2 n181_a_hedgehog_55 PUNC n181_a_hedgehog_1->n181_a_hedgehog_55 n181_a_hedgehog_3 DOP n181_a_hedgehog_2->n181_a_hedgehog_3 n181_a_hedgehog_5 NP-SBJ n181_a_hedgehog_2->n181_a_hedgehog_5 n181_a_hedgehog_8 VB;_Tt_ n181_a_hedgehog_2->n181_a_hedgehog_8 n181_a_hedgehog_10 IP-INF-OB1 n181_a_hedgehog_2->n181_a_hedgehog_10 n181_a_hedgehog_3->n181_a_hedgehog_4 n181_a_hedgehog_6 PRO n181_a_hedgehog_5->n181_a_hedgehog_6 n181_a_hedgehog_6->n181_a_hedgehog_7 n181_a_hedgehog_8->n181_a_hedgehog_9 n181_a_hedgehog_11 TO n181_a_hedgehog_10->n181_a_hedgehog_11 n181_a_hedgehog_13 HV;_Cn.n/a_ n181_a_hedgehog_10->n181_a_hedgehog_13 n181_a_hedgehog_15 PP-PRD n181_a_hedgehog_10->n181_a_hedgehog_15 n181_a_hedgehog_27 NP-OB1 n181_a_hedgehog_10->n181_a_hedgehog_27 n181_a_hedgehog_11->n181_a_hedgehog_12 n181_a_hedgehog_13->n181_a_hedgehog_14 n181_a_hedgehog_16 P-ROLE n181_a_hedgehog_15->n181_a_hedgehog_16 n181_a_hedgehog_18 NP n181_a_hedgehog_15->n181_a_hedgehog_18 n181_a_hedgehog_16->n181_a_hedgehog_17 n181_a_hedgehog_19 NP-GEN n181_a_hedgehog_18->n181_a_hedgehog_19 n181_a_hedgehog_22 ADJP n181_a_hedgehog_18->n181_a_hedgehog_22 n181_a_hedgehog_25 N n181_a_hedgehog_18->n181_a_hedgehog_25 n181_a_hedgehog_20 PRO;_genm_ n181_a_hedgehog_19->n181_a_hedgehog_20 n181_a_hedgehog_20->n181_a_hedgehog_21 n181_a_hedgehog_23 ADJ n181_a_hedgehog_22->n181_a_hedgehog_23 n181_a_hedgehog_23->n181_a_hedgehog_24 n181_a_hedgehog_25->n181_a_hedgehog_26 n181_a_hedgehog_28 D n181_a_hedgehog_27->n181_a_hedgehog_28 n181_a_hedgehog_30 N n181_a_hedgehog_27->n181_a_hedgehog_30 n181_a_hedgehog_32 IP-REL n181_a_hedgehog_27->n181_a_hedgehog_32 n181_a_hedgehog_28->n181_a_hedgehog_29 n181_a_hedgehog_30->n181_a_hedgehog_31 n181_a_hedgehog_33 C n181_a_hedgehog_32->n181_a_hedgehog_33 n181_a_hedgehog_35 NP-SBJ n181_a_hedgehog_32->n181_a_hedgehog_35 n181_a_hedgehog_37 VBP;_In/pr_ n181_a_hedgehog_32->n181_a_hedgehog_37 n181_a_hedgehog_39 PP-NIM n181_a_hedgehog_32->n181_a_hedgehog_39 n181_a_hedgehog_33->n181_a_hedgehog_34 n181_a_hedgehog_35->n181_a_hedgehog_36 n181_a_hedgehog_37->n181_a_hedgehog_38 n181_a_hedgehog_40 P-ROLE n181_a_hedgehog_39->n181_a_hedgehog_40 n181_a_hedgehog_42 NP n181_a_hedgehog_39->n181_a_hedgehog_42 n181_a_hedgehog_40->n181_a_hedgehog_41 n181_a_hedgehog_43 NUM n181_a_hedgehog_42->n181_a_hedgehog_43 n181_a_hedgehog_45 NS n181_a_hedgehog_42->n181_a_hedgehog_45 n181_a_hedgehog_47 PP n181_a_hedgehog_42->n181_a_hedgehog_47 n181_a_hedgehog_43->n181_a_hedgehog_44 n181_a_hedgehog_45->n181_a_hedgehog_46 n181_a_hedgehog_48 P-ROLE n181_a_hedgehog_47->n181_a_hedgehog_48 n181_a_hedgehog_50 NP n181_a_hedgehog_47->n181_a_hedgehog_50 n181_a_hedgehog_48->n181_a_hedgehog_49 n181_a_hedgehog_51 D n181_a_hedgehog_50->n181_a_hedgehog_51 n181_a_hedgehog_53 N n181_a_hedgehog_50->n181_a_hedgehog_53 n181_a_hedgehog_51->n181_a_hedgehog_52 n181_a_hedgehog_53->n181_a_hedgehog_54 n181_a_hedgehog_55->n181_a_hedgehog_56 
( (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))