Context                Previous, Next                Top


73_a_seiko_9r65
An overhaul is recommended every three to four years.

%3 r_0073_0003__is is r_0073_0004__recommended recommended r_0073_0003__is->r_0073_0004__recommended [scope] r_0073_0006__three_r_0073_0009__years three years r_0073_0003__is->r_0073_0006__three_r_0073_0009__years [nim] r_0073_0001__An_r_0073_0002__overhaul An overhaul r_0073_0004__recommended->r_0073_0001__An_r_0073_0002__overhaul [arg1] z_000_73_a_seiko_9r65_10 r_0073_0004__recommended->z_000_73_a_seiko_9r65_10 [arg0] r_0073_0008__four four r_0073_0006__three_r_0073_0009__years->r_0073_0008__four to r_0073_0005__every_quant every [quant] r_0073_0005__every_quant->r_0073_0003__is [scope] r_0073_0005__every_quant->r_0073_0006__three_r_0073_0009__years [restriction] 
arc(r_0073_0003__is, r_0073_0004__recommended, scope).
arc(r_0073_0003__is, r_0073_0006__three_r_0073_0009__years, nim14).
arc(r_0073_0004__recommended, r_0073_0001__An_r_0073_0002__overhaul, arg1).
arc(r_0073_0004__recommended, z_000_73_a_seiko_9r65_10, arg0).
arc(r_0073_0005__every_quant, r_0073_0003__is, scope).
arc(r_0073_0005__every_quant, r_0073_0006__three_r_0073_0009__years, restriction).
arc(r_0073_0006__three_r_0073_0009__years, r_0073_0008__four, r_0073_0007__to).


%3 r_0073_0006__three_r_0073_0009__years three years r_0073_0008__four four r_0073_0006__three_r_0073_0009__years->r_0073_0008__four to r_0073_0005__every_quant every [quant] r_0073_0005__every_quant->r_0073_0006__three_r_0073_0009__years [restriction] r_0073_0003__is_r_0073_0004__recommended is recommended r_0073_0005__every_quant->r_0073_0003__is_r_0073_0004__recommended [scope] r_0073_0003__is_r_0073_0004__recommended->r_0073_0006__three_r_0073_0009__years [nim] z_000_73_a_seiko_9r65_10 r_0073_0003__is_r_0073_0004__recommended->z_000_73_a_seiko_9r65_10 [arg0] r_0073_0001__An_r_0073_0002__overhaul An overhaul r_0073_0003__is_r_0073_0004__recommended->r_0073_0001__An_r_0073_0002__overhaul [arg1] 
fof(formula,axiom,
    ! [R_0073_0006__THREE_R_0073_0009__YEARS,R_0073_0008__FOUR] :
      ( ( r_0073_0008__four(R_0073_0008__FOUR)
        & r_0073_0006__three_r_0073_0009__years(R_0073_0006__THREE_R_0073_0009__YEARS)
        & has_r_0073_0007__to(R_0073_0006__THREE_R_0073_0009__YEARS,R_0073_0008__FOUR) )
     => ? [R_0073_0001__AN_R_0073_0002__OVERHAUL,Z_000_73_A_SEIKO_9R65_10,R_0073_0003__IS_R_0073_0004__RECOMMENDED] :
          ( r_0073_0001__An_r_0073_0002__overhaul(R_0073_0001__AN_R_0073_0002__OVERHAUL)
          & z_000_73_a_seiko_9r65_10(Z_000_73_A_SEIKO_9R65_10)
          & r_0073_0003__is_r_0073_0004__recommended(R_0073_0003__IS_R_0073_0004__RECOMMENDED)
          & has_arg0(R_0073_0003__IS_R_0073_0004__RECOMMENDED,Z_000_73_A_SEIKO_9R65_10)
          & has_arg1(R_0073_0003__IS_R_0073_0004__RECOMMENDED,R_0073_0001__AN_R_0073_0002__OVERHAUL)
          & has_nim14(R_0073_0003__IS_R_0073_0004__RECOMMENDED,R_0073_0006__THREE_R_0073_0009__YEARS) ) ) ).


n73_a_seiko_9r65 n73_a_seiko_9r65__1_1_1_1 An n73_a_seiko_9r65__1_1_2_1 overhaul n73_a_seiko_9r65__1_2_1 is n73_a_seiko_9r65__1_3_1_1 * n73_a_seiko_9r65__1_3_2_1 recommended n73_a_seiko_9r65__1_4_1_1 every n73_a_seiko_9r65__1_4_2_1 three n73_a_seiko_9r65__1_4_3_1_1 to n73_a_seiko_9r65__1_4_3_2_1_1 four n73_a_seiko_9r65__1_4_4_1 years n73_a_seiko_9r65__1_5_1 . n73_a_seiko_9r65__1 IP-MAT n73_a_seiko_9r65__1_1 NP-SBJ n73_a_seiko_9r65__1->n73_a_seiko_9r65__1_1 n73_a_seiko_9r65__1_2 BEP;_cat_VePASS_ n73_a_seiko_9r65__1->n73_a_seiko_9r65__1_2 n73_a_seiko_9r65__1_3 IP-PPL-CAT n73_a_seiko_9r65__1->n73_a_seiko_9r65__1_3 n73_a_seiko_9r65__1_4 NP-NIM n73_a_seiko_9r65__1->n73_a_seiko_9r65__1_4 n73_a_seiko_9r65__1_5 PUNC n73_a_seiko_9r65__1->n73_a_seiko_9r65__1_5 n73_a_seiko_9r65__1_1_1 D n73_a_seiko_9r65__1_1->n73_a_seiko_9r65__1_1_1 n73_a_seiko_9r65__1_1_2 N n73_a_seiko_9r65__1_1->n73_a_seiko_9r65__1_1_2 n73_a_seiko_9r65__1_1_1->n73_a_seiko_9r65__1_1_1_1 n73_a_seiko_9r65__1_1_2->n73_a_seiko_9r65__1_1_2_1 n73_a_seiko_9r65__1_2->n73_a_seiko_9r65__1_2_1 n73_a_seiko_9r65__1_3_1 NP-LGS n73_a_seiko_9r65__1_3->n73_a_seiko_9r65__1_3_1 n73_a_seiko_9r65__1_3_2 VVN;_Tn_ n73_a_seiko_9r65__1_3->n73_a_seiko_9r65__1_3_2 n73_a_seiko_9r65__1_3_1->n73_a_seiko_9r65__1_3_1_1 n73_a_seiko_9r65__1_3_2->n73_a_seiko_9r65__1_3_2_1 n73_a_seiko_9r65__1_4_1 Q n73_a_seiko_9r65__1_4->n73_a_seiko_9r65__1_4_1 n73_a_seiko_9r65__1_4_2 NUM n73_a_seiko_9r65__1_4->n73_a_seiko_9r65__1_4_2 n73_a_seiko_9r65__1_4_3 PP n73_a_seiko_9r65__1_4->n73_a_seiko_9r65__1_4_3 n73_a_seiko_9r65__1_4_4 NS n73_a_seiko_9r65__1_4->n73_a_seiko_9r65__1_4_4 n73_a_seiko_9r65__1_4_1->n73_a_seiko_9r65__1_4_1_1 n73_a_seiko_9r65__1_4_2->n73_a_seiko_9r65__1_4_2_1 n73_a_seiko_9r65__1_4_3_1 P-ROLE n73_a_seiko_9r65__1_4_3->n73_a_seiko_9r65__1_4_3_1 n73_a_seiko_9r65__1_4_3_2 NP n73_a_seiko_9r65__1_4_3->n73_a_seiko_9r65__1_4_3_2 n73_a_seiko_9r65__1_4_3_1->n73_a_seiko_9r65__1_4_3_1_1 n73_a_seiko_9r65__1_4_3_2_1 NUM n73_a_seiko_9r65__1_4_3_2->n73_a_seiko_9r65__1_4_3_2_1 n73_a_seiko_9r65__1_4_3_2_1->n73_a_seiko_9r65__1_4_3_2_1_1 n73_a_seiko_9r65__1_4_4->n73_a_seiko_9r65__1_4_4_1 n73_a_seiko_9r65__1_5->n73_a_seiko_9r65__1_5_1 
( (IP-MAT (NP-SBJ (D An;{an})
                  (N overhaul;{overhaul}))
          (BEP;_cat_VePASS_ is;{be})
          (IP-PPL-CAT (NP-LGS *)
                      (VVN;_Tn_ recommended;{recommend}))
          (NP-NIM (Q every;{every})
                  (NUM three;{three})
                  (PP (P-ROLE to;{to})
                      (NP (NUM four;{four})))
                  (NS years;{year}))
          (PUNC .))
  (ID 73_a_seiko_9r65))