Context                Previous, Next                Top


32_a_uksc_judgment
But a typical time is four to six days.

%3 r_0032_0001__But_r_0032_0005__is But is r_0032_0002__a_r_0032_0004__time a time r_0032_0001__But_r_0032_0005__is->r_0032_0002__a_r_0032_0004__time [arg0] r_0032_0006__four_r_0032_0009__days four days r_0032_0001__But_r_0032_0005__is->r_0032_0006__four_r_0032_0009__days [prd] r_0032_0003__typical typical r_0032_0002__a_r_0032_0004__time->r_0032_0003__typical [attrib] r_0032_0008__six six r_0032_0006__four_r_0032_0009__days->r_0032_0008__six to 
arc(r_0032_0001__But_r_0032_0005__is, r_0032_0002__a_r_0032_0004__time, arg0).
arc(r_0032_0001__But_r_0032_0005__is, r_0032_0006__four_r_0032_0009__days, prd).
arc(r_0032_0002__a_r_0032_0004__time, r_0032_0003__typical, attrib7).
arc(r_0032_0006__four_r_0032_0009__days, r_0032_0008__six, r_0032_0007__to).


%3 r_0032_0001__But_r_0032_0005__is But is r_0032_0002__a_r_0032_0004__time a time r_0032_0001__But_r_0032_0005__is->r_0032_0002__a_r_0032_0004__time [arg0] r_0032_0006__four_r_0032_0009__days four days r_0032_0001__But_r_0032_0005__is->r_0032_0006__four_r_0032_0009__days [prd] r_0032_0003__typical typical r_0032_0002__a_r_0032_0004__time->r_0032_0003__typical [attrib] r_0032_0008__six six r_0032_0006__four_r_0032_0009__days->r_0032_0008__six to 
fof(formula,axiom,
    ? [R_32_1_BUT_IS,R_32_2_A_TIME,R_32_3_TYPICAL,R_32_6_FOUR_DAYS,R_32_8_SIX] :
      ( typical(R_32_3_TYPICAL)
      & six(R_32_8_SIX)
      & but_is(R_32_1_BUT_IS,R_32_2_A_TIME,R_32_6_FOUR_DAYS)
      & a_time(R_32_2_A_TIME)
      & attrib7(R_32_2_A_TIME,R_32_3_TYPICAL)
      & four_days(R_32_6_FOUR_DAYS)
      & to(R_32_6_FOUR_DAYS,R_32_8_SIX) ) ).


n32_a_uksc_judgment n32_a_uksc_judgment_3 But n32_a_uksc_judgment_6 a n32_a_uksc_judgment_9 typical n32_a_uksc_judgment_11 time n32_a_uksc_judgment_13 is n32_a_uksc_judgment_16 four n32_a_uksc_judgment_19 to n32_a_uksc_judgment_22 six n32_a_uksc_judgment_24 days n32_a_uksc_judgment_26 . n32_a_uksc_judgment_1 IP-MAT n32_a_uksc_judgment_2 CONJ;_cl_ n32_a_uksc_judgment_1->n32_a_uksc_judgment_2 n32_a_uksc_judgment_4 NP-SBJ n32_a_uksc_judgment_1->n32_a_uksc_judgment_4 n32_a_uksc_judgment_12 BEP;_Ln_ n32_a_uksc_judgment_1->n32_a_uksc_judgment_12 n32_a_uksc_judgment_14 NP-PRD n32_a_uksc_judgment_1->n32_a_uksc_judgment_14 n32_a_uksc_judgment_25 PUNC n32_a_uksc_judgment_1->n32_a_uksc_judgment_25 n32_a_uksc_judgment_2->n32_a_uksc_judgment_3 n32_a_uksc_judgment_5 D n32_a_uksc_judgment_4->n32_a_uksc_judgment_5 n32_a_uksc_judgment_7 ADJP n32_a_uksc_judgment_4->n32_a_uksc_judgment_7 n32_a_uksc_judgment_10 N n32_a_uksc_judgment_4->n32_a_uksc_judgment_10 n32_a_uksc_judgment_5->n32_a_uksc_judgment_6 n32_a_uksc_judgment_8 ADJ n32_a_uksc_judgment_7->n32_a_uksc_judgment_8 n32_a_uksc_judgment_8->n32_a_uksc_judgment_9 n32_a_uksc_judgment_10->n32_a_uksc_judgment_11 n32_a_uksc_judgment_12->n32_a_uksc_judgment_13 n32_a_uksc_judgment_15 NUM n32_a_uksc_judgment_14->n32_a_uksc_judgment_15 n32_a_uksc_judgment_17 PP n32_a_uksc_judgment_14->n32_a_uksc_judgment_17 n32_a_uksc_judgment_23 NS n32_a_uksc_judgment_14->n32_a_uksc_judgment_23 n32_a_uksc_judgment_15->n32_a_uksc_judgment_16 n32_a_uksc_judgment_18 P-ROLE n32_a_uksc_judgment_17->n32_a_uksc_judgment_18 n32_a_uksc_judgment_20 NP n32_a_uksc_judgment_17->n32_a_uksc_judgment_20 n32_a_uksc_judgment_18->n32_a_uksc_judgment_19 n32_a_uksc_judgment_21 NUM n32_a_uksc_judgment_20->n32_a_uksc_judgment_21 n32_a_uksc_judgment_21->n32_a_uksc_judgment_22 n32_a_uksc_judgment_23->n32_a_uksc_judgment_24 n32_a_uksc_judgment_25->n32_a_uksc_judgment_26 
( (IP-MAT (CONJ;_cl_ But;{but})
          (NP-SBJ (D a;{a})
                  (ADJP (ADJ typical;{typical}))
                  (N time;{time}))
          (BEP;_Ln_ is;{be})
          (NP-PRD (NUM four;{four})
                  (PP (P-ROLE to;{to})
                      (NP (NUM six;{six})))
                  (NS days;{day}))
          (PUNC .))
  (ID 32_a_uksc_judgment))