Context                Previous, Next                Top


18_a_fce_0102_2001_06
Shops should be open 24 hours a day, seven days a week.

%3 r_0018_0002__should should r_0018_0003__be be r_0018_0002__should->r_0018_0003__be [scope] r_0018_0001__Shops Shops r_0018_0003__be->r_0018_0001__Shops [arg0] r_0018_0004__open open r_0018_0003__be->r_0018_0004__open [prd] r_0018_0005__24_r_0018_0006__hours 24 hours r_0018_0004__open->r_0018_0005__24_r_0018_0006__hours [nim] z_000_18_a_fce_0102_2001_06_18 z_000_18_a_fce_0102_2001_06_18->r_0018_0005__24_r_0018_0006__hours [arg0] r_0018_0007__a_r_0018_0008__day a day z_000_18_a_fce_0102_2001_06_18->r_0018_0007__a_r_0018_0008__day [prd] z_000_18_a_fce_0102_2001_06_26 z_000_18_a_fce_0102_2001_06_26->r_0018_0005__24_r_0018_0006__hours [arg0] r_0018_0010__seven_r_0018_0011__days seven days z_000_18_a_fce_0102_2001_06_26->r_0018_0010__seven_r_0018_0011__days [prd] z_000_18_a_fce_0102_2001_06_32 z_000_18_a_fce_0102_2001_06_32->r_0018_0010__seven_r_0018_0011__days [arg0] r_0018_0012__a_r_0018_0013__week a week z_000_18_a_fce_0102_2001_06_32->r_0018_0012__a_r_0018_0013__week [prd] 
arc(r_0018_0002__should, r_0018_0003__be, scope).
arc(r_0018_0003__be, r_0018_0001__Shops, arg0).
arc(r_0018_0003__be, r_0018_0004__open, prd).
arc(r_0018_0004__open, r_0018_0005__24_r_0018_0006__hours, nim13).
arc(z_000_18_a_fce_0102_2001_06_18, r_0018_0005__24_r_0018_0006__hours, arg0).
arc(z_000_18_a_fce_0102_2001_06_18, r_0018_0007__a_r_0018_0008__day, prd).
arc(z_000_18_a_fce_0102_2001_06_26, r_0018_0005__24_r_0018_0006__hours, arg0).
arc(z_000_18_a_fce_0102_2001_06_26, r_0018_0010__seven_r_0018_0011__days, prd).
arc(z_000_18_a_fce_0102_2001_06_32, r_0018_0010__seven_r_0018_0011__days, arg0).
arc(z_000_18_a_fce_0102_2001_06_32, r_0018_0012__a_r_0018_0013__week, prd).


%3 r_0018_0002__should_r_0018_0003__be should be r_0018_0001__Shops Shops r_0018_0002__should_r_0018_0003__be->r_0018_0001__Shops [arg0] r_0018_0004__open open r_0018_0002__should_r_0018_0003__be->r_0018_0004__open [prd] r_0018_0005__24_r_0018_0006__hours 24 hours r_0018_0004__open->r_0018_0005__24_r_0018_0006__hours [nim] z_000_18_a_fce_0102_2001_06_18 z_000_18_a_fce_0102_2001_06_18->r_0018_0005__24_r_0018_0006__hours [arg0] r_0018_0007__a_r_0018_0008__day a day z_000_18_a_fce_0102_2001_06_18->r_0018_0007__a_r_0018_0008__day [prd] z_000_18_a_fce_0102_2001_06_26 z_000_18_a_fce_0102_2001_06_26->r_0018_0005__24_r_0018_0006__hours [arg0] r_0018_0010__seven_r_0018_0011__days seven days z_000_18_a_fce_0102_2001_06_26->r_0018_0010__seven_r_0018_0011__days [prd] z_000_18_a_fce_0102_2001_06_32 z_000_18_a_fce_0102_2001_06_32->r_0018_0010__seven_r_0018_0011__days [arg0] r_0018_0012__a_r_0018_0013__week a week z_000_18_a_fce_0102_2001_06_32->r_0018_0012__a_r_0018_0013__week [prd] 
fof(formula,axiom,
    ? [R_18_2_SHOULD_BE,R_18_1_SHOPS,R_18_4_OPEN,Z_18_A_FCE_102_2001_6_18,R_18_7_A_DAY,Z_18_A_FCE_102_2001_6_26,R_18_5_24_HOURS,Z_18_A_FCE_102_2001_6_32,R_18_10_SEVEN_DAYS,R_18_12_A_WEEK] :
      ( shops(R_18_1_SHOPS)
      & a_day(R_18_7_A_DAY)
      & 24_hours(R_18_5_24_HOURS)
      & seven_days(R_18_10_SEVEN_DAYS)
      & a_week(R_18_12_A_WEEK)
      & should_be(R_18_2_SHOULD_BE,R_18_1_SHOPS,R_18_4_OPEN)
      & open(R_18_4_OPEN)
      & nim13(R_18_4_OPEN,R_18_5_24_HOURS)
      & z_18_a_fce_102_2001_6_18(Z_18_A_FCE_102_2001_6_18,R_18_5_24_HOURS,R_18_7_A_DAY)
      & z_18_a_fce_102_2001_6_26(Z_18_A_FCE_102_2001_6_26,R_18_5_24_HOURS,R_18_10_SEVEN_DAYS)
      & z_18_a_fce_102_2001_6_32(Z_18_A_FCE_102_2001_6_32,R_18_10_SEVEN_DAYS,R_18_12_A_WEEK) ) ).


n18_a_fce_0102_2001_06 n18_a_fce_0102_2001_06_4 Shops n18_a_fce_0102_2001_06_6 should n18_a_fce_0102_2001_06_9 be n18_a_fce_0102_2001_06_12 open n18_a_fce_0102_2001_06_15 24 n18_a_fce_0102_2001_06_17 hours n18_a_fce_0102_2001_06_21 a n18_a_fce_0102_2001_06_23 day n18_a_fce_0102_2001_06_25 , n18_a_fce_0102_2001_06_29 seven n18_a_fce_0102_2001_06_31 days n18_a_fce_0102_2001_06_35 a n18_a_fce_0102_2001_06_37 week n18_a_fce_0102_2001_06_39 . n18_a_fce_0102_2001_06_1 IP-MAT n18_a_fce_0102_2001_06_2 NP-SBJ n18_a_fce_0102_2001_06_1->n18_a_fce_0102_2001_06_2 n18_a_fce_0102_2001_06_5 MD;_cat_Vi_ n18_a_fce_0102_2001_06_1->n18_a_fce_0102_2001_06_5 n18_a_fce_0102_2001_06_7 IP-INF-CAT n18_a_fce_0102_2001_06_1->n18_a_fce_0102_2001_06_7 n18_a_fce_0102_2001_06_38 PUNC n18_a_fce_0102_2001_06_1->n18_a_fce_0102_2001_06_38 n18_a_fce_0102_2001_06_3 NS n18_a_fce_0102_2001_06_2->n18_a_fce_0102_2001_06_3 n18_a_fce_0102_2001_06_3->n18_a_fce_0102_2001_06_4 n18_a_fce_0102_2001_06_5->n18_a_fce_0102_2001_06_6 n18_a_fce_0102_2001_06_8 BE;_La_ n18_a_fce_0102_2001_06_7->n18_a_fce_0102_2001_06_8 n18_a_fce_0102_2001_06_10 ADJP-PRD n18_a_fce_0102_2001_06_7->n18_a_fce_0102_2001_06_10 n18_a_fce_0102_2001_06_8->n18_a_fce_0102_2001_06_9 n18_a_fce_0102_2001_06_11 ADJ n18_a_fce_0102_2001_06_10->n18_a_fce_0102_2001_06_11 n18_a_fce_0102_2001_06_13 NP n18_a_fce_0102_2001_06_10->n18_a_fce_0102_2001_06_13 n18_a_fce_0102_2001_06_11->n18_a_fce_0102_2001_06_12 n18_a_fce_0102_2001_06_14 NUM n18_a_fce_0102_2001_06_13->n18_a_fce_0102_2001_06_14 n18_a_fce_0102_2001_06_16 NS n18_a_fce_0102_2001_06_13->n18_a_fce_0102_2001_06_16 n18_a_fce_0102_2001_06_18 IP-PPL n18_a_fce_0102_2001_06_13->n18_a_fce_0102_2001_06_18 n18_a_fce_0102_2001_06_24 PUNC n18_a_fce_0102_2001_06_13->n18_a_fce_0102_2001_06_24 n18_a_fce_0102_2001_06_26 IP-PPL n18_a_fce_0102_2001_06_13->n18_a_fce_0102_2001_06_26 n18_a_fce_0102_2001_06_14->n18_a_fce_0102_2001_06_15 n18_a_fce_0102_2001_06_16->n18_a_fce_0102_2001_06_17 n18_a_fce_0102_2001_06_19 NP-PRD n18_a_fce_0102_2001_06_18->n18_a_fce_0102_2001_06_19 n18_a_fce_0102_2001_06_20 D n18_a_fce_0102_2001_06_19->n18_a_fce_0102_2001_06_20 n18_a_fce_0102_2001_06_22 N n18_a_fce_0102_2001_06_19->n18_a_fce_0102_2001_06_22 n18_a_fce_0102_2001_06_20->n18_a_fce_0102_2001_06_21 n18_a_fce_0102_2001_06_22->n18_a_fce_0102_2001_06_23 n18_a_fce_0102_2001_06_24->n18_a_fce_0102_2001_06_25 n18_a_fce_0102_2001_06_27 NP-PRD n18_a_fce_0102_2001_06_26->n18_a_fce_0102_2001_06_27 n18_a_fce_0102_2001_06_28 NUM n18_a_fce_0102_2001_06_27->n18_a_fce_0102_2001_06_28 n18_a_fce_0102_2001_06_30 NS n18_a_fce_0102_2001_06_27->n18_a_fce_0102_2001_06_30 n18_a_fce_0102_2001_06_32 IP-PPL n18_a_fce_0102_2001_06_27->n18_a_fce_0102_2001_06_32 n18_a_fce_0102_2001_06_28->n18_a_fce_0102_2001_06_29 n18_a_fce_0102_2001_06_30->n18_a_fce_0102_2001_06_31 n18_a_fce_0102_2001_06_33 NP-PRD n18_a_fce_0102_2001_06_32->n18_a_fce_0102_2001_06_33 n18_a_fce_0102_2001_06_34 D n18_a_fce_0102_2001_06_33->n18_a_fce_0102_2001_06_34 n18_a_fce_0102_2001_06_36 N n18_a_fce_0102_2001_06_33->n18_a_fce_0102_2001_06_36 n18_a_fce_0102_2001_06_34->n18_a_fce_0102_2001_06_35 n18_a_fce_0102_2001_06_36->n18_a_fce_0102_2001_06_37 n18_a_fce_0102_2001_06_38->n18_a_fce_0102_2001_06_39 
( (IP-MAT (NP-SBJ (NS Shops;{shop}))
          (MD;_cat_Vi_ should;{shall})
          (IP-INF-CAT (BE;_La_ be;{be})
                      (ADJP-PRD (ADJ open;{open})
                                (NP (NUM 24)
                                    (NS hours;{hour})
                                    (IP-PPL (NP-PRD (D a;{a})
                                                    (N day;{day})))
                                    (PUNC ,)
                                    (IP-PPL (NP-PRD (NUM seven;{seven})
                                                    (NS days;{day})
                                                    (IP-PPL (NP-PRD (D a;{a})
                                                                    (N week;{week}))))))))
          (PUNC .))
  (ID 18_a_fce_0102_2001_06))