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_0003__is_r_0073_0004__recommended is recommended 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] r_0073_0006__three_r_0073_0009__years three years 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_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_r_0073_0004__recommended [scope] r_0073_0005__every_quant->r_0073_0006__three_r_0073_0009__years [restriction] 
fof(formula,axiom,
    ! [R_73_6_THREE_YEARS,R_73_8_FOUR] :
      ( ( four(R_73_8_FOUR)
        & three_years(R_73_6_THREE_YEARS)
        & to(R_73_6_THREE_YEARS,R_73_8_FOUR) )
     => ? [R_73_3_IS_RECOMMENDED,Z_73_A_SEIKO_9R65_10,R_73_1_AN_OVERHAUL] :
          ( an_overhaul(R_73_1_AN_OVERHAUL)
          & is_recommended(R_73_3_IS_RECOMMENDED,Z_73_A_SEIKO_9R65_10,R_73_1_AN_OVERHAUL)
          & nim14(R_73_3_IS_RECOMMENDED,R_73_6_THREE_YEARS) ) ) ).


n73_a_seiko_9r65 n73_a_seiko_9r65_4 An n73_a_seiko_9r65_6 overhaul n73_a_seiko_9r65_8 is n73_a_seiko_9r65_11 * n73_a_seiko_9r65_13 recommended n73_a_seiko_9r65_16 every n73_a_seiko_9r65_18 three n73_a_seiko_9r65_21 to n73_a_seiko_9r65_24 four n73_a_seiko_9r65_26 years n73_a_seiko_9r65_28 . n73_a_seiko_9r65_1 IP-MAT n73_a_seiko_9r65_2 NP-SBJ n73_a_seiko_9r65_1->n73_a_seiko_9r65_2 n73_a_seiko_9r65_7 BEP;_cat_VePASS_ n73_a_seiko_9r65_1->n73_a_seiko_9r65_7 n73_a_seiko_9r65_9 IP-PPL-CAT n73_a_seiko_9r65_1->n73_a_seiko_9r65_9 n73_a_seiko_9r65_14 NP-NIM n73_a_seiko_9r65_1->n73_a_seiko_9r65_14 n73_a_seiko_9r65_27 PUNC n73_a_seiko_9r65_1->n73_a_seiko_9r65_27 n73_a_seiko_9r65_3 D n73_a_seiko_9r65_2->n73_a_seiko_9r65_3 n73_a_seiko_9r65_5 N n73_a_seiko_9r65_2->n73_a_seiko_9r65_5 n73_a_seiko_9r65_3->n73_a_seiko_9r65_4 n73_a_seiko_9r65_5->n73_a_seiko_9r65_6 n73_a_seiko_9r65_7->n73_a_seiko_9r65_8 n73_a_seiko_9r65_10 NP-LGS n73_a_seiko_9r65_9->n73_a_seiko_9r65_10 n73_a_seiko_9r65_12 VVN;_Tn_ n73_a_seiko_9r65_9->n73_a_seiko_9r65_12 n73_a_seiko_9r65_10->n73_a_seiko_9r65_11 n73_a_seiko_9r65_12->n73_a_seiko_9r65_13 n73_a_seiko_9r65_15 Q n73_a_seiko_9r65_14->n73_a_seiko_9r65_15 n73_a_seiko_9r65_17 NUM n73_a_seiko_9r65_14->n73_a_seiko_9r65_17 n73_a_seiko_9r65_19 PP n73_a_seiko_9r65_14->n73_a_seiko_9r65_19 n73_a_seiko_9r65_25 NS n73_a_seiko_9r65_14->n73_a_seiko_9r65_25 n73_a_seiko_9r65_15->n73_a_seiko_9r65_16 n73_a_seiko_9r65_17->n73_a_seiko_9r65_18 n73_a_seiko_9r65_20 P-ROLE n73_a_seiko_9r65_19->n73_a_seiko_9r65_20 n73_a_seiko_9r65_22 NP n73_a_seiko_9r65_19->n73_a_seiko_9r65_22 n73_a_seiko_9r65_20->n73_a_seiko_9r65_21 n73_a_seiko_9r65_23 NUM n73_a_seiko_9r65_22->n73_a_seiko_9r65_23 n73_a_seiko_9r65_23->n73_a_seiko_9r65_24 n73_a_seiko_9r65_25->n73_a_seiko_9r65_26 n73_a_seiko_9r65_27->n73_a_seiko_9r65_28 
( (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))