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_0006__four_r_0032_0009__days four days r_0032_0008__six six r_0032_0006__four_r_0032_0009__days->r_0032_0008__six to r_0032_0002__a_r_0032_0004__time a time r_0032_0003__typical typical r_0032_0002__a_r_0032_0004__time->r_0032_0003__typical [attrib] r_0032_0001__But_r_0032_0005__is But is r_0032_0001__But_r_0032_0005__is->r_0032_0006__four_r_0032_0009__days [prd] r_0032_0001__But_r_0032_0005__is->r_0032_0002__a_r_0032_0004__time [arg0] 
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__1_1_1 But n32_a_uksc_judgment__1_2_1_1 a n32_a_uksc_judgment__1_2_2_1_1 typical n32_a_uksc_judgment__1_2_3_1 time n32_a_uksc_judgment__1_3_1 is n32_a_uksc_judgment__1_4_1_1 four n32_a_uksc_judgment__1_4_2_1_1 to n32_a_uksc_judgment__1_4_2_2_1_1 six n32_a_uksc_judgment__1_4_3_1 days n32_a_uksc_judgment__1_5_1 . n32_a_uksc_judgment__1 IP-MAT n32_a_uksc_judgment__1_1 CONJ;_cl_ n32_a_uksc_judgment__1->n32_a_uksc_judgment__1_1 n32_a_uksc_judgment__1_2 NP-SBJ n32_a_uksc_judgment__1->n32_a_uksc_judgment__1_2 n32_a_uksc_judgment__1_3 BEP;_Ln_ n32_a_uksc_judgment__1->n32_a_uksc_judgment__1_3 n32_a_uksc_judgment__1_4 NP-PRD n32_a_uksc_judgment__1->n32_a_uksc_judgment__1_4 n32_a_uksc_judgment__1_5 PUNC n32_a_uksc_judgment__1->n32_a_uksc_judgment__1_5 n32_a_uksc_judgment__1_1->n32_a_uksc_judgment__1_1_1 n32_a_uksc_judgment__1_2_1 D n32_a_uksc_judgment__1_2->n32_a_uksc_judgment__1_2_1 n32_a_uksc_judgment__1_2_2 ADJP n32_a_uksc_judgment__1_2->n32_a_uksc_judgment__1_2_2 n32_a_uksc_judgment__1_2_3 N n32_a_uksc_judgment__1_2->n32_a_uksc_judgment__1_2_3 n32_a_uksc_judgment__1_2_1->n32_a_uksc_judgment__1_2_1_1 n32_a_uksc_judgment__1_2_2_1 ADJ n32_a_uksc_judgment__1_2_2->n32_a_uksc_judgment__1_2_2_1 n32_a_uksc_judgment__1_2_2_1->n32_a_uksc_judgment__1_2_2_1_1 n32_a_uksc_judgment__1_2_3->n32_a_uksc_judgment__1_2_3_1 n32_a_uksc_judgment__1_3->n32_a_uksc_judgment__1_3_1 n32_a_uksc_judgment__1_4_1 NUM n32_a_uksc_judgment__1_4->n32_a_uksc_judgment__1_4_1 n32_a_uksc_judgment__1_4_2 PP n32_a_uksc_judgment__1_4->n32_a_uksc_judgment__1_4_2 n32_a_uksc_judgment__1_4_3 NS n32_a_uksc_judgment__1_4->n32_a_uksc_judgment__1_4_3 n32_a_uksc_judgment__1_4_1->n32_a_uksc_judgment__1_4_1_1 n32_a_uksc_judgment__1_4_2_1 P-ROLE n32_a_uksc_judgment__1_4_2->n32_a_uksc_judgment__1_4_2_1 n32_a_uksc_judgment__1_4_2_2 NP n32_a_uksc_judgment__1_4_2->n32_a_uksc_judgment__1_4_2_2 n32_a_uksc_judgment__1_4_2_1->n32_a_uksc_judgment__1_4_2_1_1 n32_a_uksc_judgment__1_4_2_2_1 NUM n32_a_uksc_judgment__1_4_2_2->n32_a_uksc_judgment__1_4_2_2_1 n32_a_uksc_judgment__1_4_2_2_1->n32_a_uksc_judgment__1_4_2_2_1_1 n32_a_uksc_judgment__1_4_3->n32_a_uksc_judgment__1_4_3_1 n32_a_uksc_judgment__1_5->n32_a_uksc_judgment__1_5_1 
( (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))