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 z_000_18_a_fce_0102_2001_06_32 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] r_0018_0010__seven_r_0018_0011__days seven days z_000_18_a_fce_0102_2001_06_32->r_0018_0010__seven_r_0018_0011__days [arg0] z_000_18_a_fce_0102_2001_06_26 z_000_18_a_fce_0102_2001_06_26->r_0018_0010__seven_r_0018_0011__days [prd] r_0018_0005__24_r_0018_0006__hours 24 hours z_000_18_a_fce_0102_2001_06_26->r_0018_0005__24_r_0018_0006__hours [arg0] 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] r_0018_0004__open open r_0018_0004__open->r_0018_0005__24_r_0018_0006__hours [nim] r_0018_0002__should_r_0018_0003__be should be r_0018_0002__should_r_0018_0003__be->r_0018_0004__open [prd] r_0018_0001__Shops Shops r_0018_0002__should_r_0018_0003__be->r_0018_0001__Shops [arg0] 
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__1_1_1_1 Shops n18_a_fce_0102_2001_06__1_2_1 should n18_a_fce_0102_2001_06__1_3_1_1 be n18_a_fce_0102_2001_06__1_3_2_1_1 open n18_a_fce_0102_2001_06__1_3_2_2_1_1 24 n18_a_fce_0102_2001_06__1_3_2_2_2_1 hours n18_a_fce_0102_2001_06__1_3_2_2_3_1_1_1 a n18_a_fce_0102_2001_06__1_3_2_2_3_1_2_1 day n18_a_fce_0102_2001_06__1_3_2_2_4_1 , n18_a_fce_0102_2001_06__1_3_2_2_5_1_1_1 seven n18_a_fce_0102_2001_06__1_3_2_2_5_1_2_1 days n18_a_fce_0102_2001_06__1_3_2_2_5_1_3_1_1_1 a n18_a_fce_0102_2001_06__1_3_2_2_5_1_3_1_2_1 week n18_a_fce_0102_2001_06__1_4_1 . n18_a_fce_0102_2001_06__1 IP-MAT n18_a_fce_0102_2001_06__1_1 NP-SBJ n18_a_fce_0102_2001_06__1->n18_a_fce_0102_2001_06__1_1 n18_a_fce_0102_2001_06__1_2 MD;_cat_Vi_ n18_a_fce_0102_2001_06__1->n18_a_fce_0102_2001_06__1_2 n18_a_fce_0102_2001_06__1_3 IP-INF-CAT n18_a_fce_0102_2001_06__1->n18_a_fce_0102_2001_06__1_3 n18_a_fce_0102_2001_06__1_4 PUNC n18_a_fce_0102_2001_06__1->n18_a_fce_0102_2001_06__1_4 n18_a_fce_0102_2001_06__1_1_1 NS n18_a_fce_0102_2001_06__1_1->n18_a_fce_0102_2001_06__1_1_1 n18_a_fce_0102_2001_06__1_1_1->n18_a_fce_0102_2001_06__1_1_1_1 n18_a_fce_0102_2001_06__1_2->n18_a_fce_0102_2001_06__1_2_1 n18_a_fce_0102_2001_06__1_3_1 BE;_La_ n18_a_fce_0102_2001_06__1_3->n18_a_fce_0102_2001_06__1_3_1 n18_a_fce_0102_2001_06__1_3_2 ADJP-PRD n18_a_fce_0102_2001_06__1_3->n18_a_fce_0102_2001_06__1_3_2 n18_a_fce_0102_2001_06__1_3_1->n18_a_fce_0102_2001_06__1_3_1_1 n18_a_fce_0102_2001_06__1_3_2_1 ADJ n18_a_fce_0102_2001_06__1_3_2->n18_a_fce_0102_2001_06__1_3_2_1 n18_a_fce_0102_2001_06__1_3_2_2 NP n18_a_fce_0102_2001_06__1_3_2->n18_a_fce_0102_2001_06__1_3_2_2 n18_a_fce_0102_2001_06__1_3_2_1->n18_a_fce_0102_2001_06__1_3_2_1_1 n18_a_fce_0102_2001_06__1_3_2_2_1 NUM n18_a_fce_0102_2001_06__1_3_2_2->n18_a_fce_0102_2001_06__1_3_2_2_1 n18_a_fce_0102_2001_06__1_3_2_2_2 NS n18_a_fce_0102_2001_06__1_3_2_2->n18_a_fce_0102_2001_06__1_3_2_2_2 n18_a_fce_0102_2001_06__1_3_2_2_3 IP-PPL n18_a_fce_0102_2001_06__1_3_2_2->n18_a_fce_0102_2001_06__1_3_2_2_3 n18_a_fce_0102_2001_06__1_3_2_2_4 PUNC n18_a_fce_0102_2001_06__1_3_2_2->n18_a_fce_0102_2001_06__1_3_2_2_4 n18_a_fce_0102_2001_06__1_3_2_2_5 IP-PPL n18_a_fce_0102_2001_06__1_3_2_2->n18_a_fce_0102_2001_06__1_3_2_2_5 n18_a_fce_0102_2001_06__1_3_2_2_1->n18_a_fce_0102_2001_06__1_3_2_2_1_1 n18_a_fce_0102_2001_06__1_3_2_2_2->n18_a_fce_0102_2001_06__1_3_2_2_2_1 n18_a_fce_0102_2001_06__1_3_2_2_3_1 NP-PRD n18_a_fce_0102_2001_06__1_3_2_2_3->n18_a_fce_0102_2001_06__1_3_2_2_3_1 n18_a_fce_0102_2001_06__1_3_2_2_3_1_1 D n18_a_fce_0102_2001_06__1_3_2_2_3_1->n18_a_fce_0102_2001_06__1_3_2_2_3_1_1 n18_a_fce_0102_2001_06__1_3_2_2_3_1_2 N n18_a_fce_0102_2001_06__1_3_2_2_3_1->n18_a_fce_0102_2001_06__1_3_2_2_3_1_2 n18_a_fce_0102_2001_06__1_3_2_2_3_1_1->n18_a_fce_0102_2001_06__1_3_2_2_3_1_1_1 n18_a_fce_0102_2001_06__1_3_2_2_3_1_2->n18_a_fce_0102_2001_06__1_3_2_2_3_1_2_1 n18_a_fce_0102_2001_06__1_3_2_2_4->n18_a_fce_0102_2001_06__1_3_2_2_4_1 n18_a_fce_0102_2001_06__1_3_2_2_5_1 NP-PRD n18_a_fce_0102_2001_06__1_3_2_2_5->n18_a_fce_0102_2001_06__1_3_2_2_5_1 n18_a_fce_0102_2001_06__1_3_2_2_5_1_1 NUM n18_a_fce_0102_2001_06__1_3_2_2_5_1->n18_a_fce_0102_2001_06__1_3_2_2_5_1_1 n18_a_fce_0102_2001_06__1_3_2_2_5_1_2 NS n18_a_fce_0102_2001_06__1_3_2_2_5_1->n18_a_fce_0102_2001_06__1_3_2_2_5_1_2 n18_a_fce_0102_2001_06__1_3_2_2_5_1_3 IP-PPL n18_a_fce_0102_2001_06__1_3_2_2_5_1->n18_a_fce_0102_2001_06__1_3_2_2_5_1_3 n18_a_fce_0102_2001_06__1_3_2_2_5_1_1->n18_a_fce_0102_2001_06__1_3_2_2_5_1_1_1 n18_a_fce_0102_2001_06__1_3_2_2_5_1_2->n18_a_fce_0102_2001_06__1_3_2_2_5_1_2_1 n18_a_fce_0102_2001_06__1_3_2_2_5_1_3_1 NP-PRD n18_a_fce_0102_2001_06__1_3_2_2_5_1_3->n18_a_fce_0102_2001_06__1_3_2_2_5_1_3_1 n18_a_fce_0102_2001_06__1_3_2_2_5_1_3_1_1 D n18_a_fce_0102_2001_06__1_3_2_2_5_1_3_1->n18_a_fce_0102_2001_06__1_3_2_2_5_1_3_1_1 n18_a_fce_0102_2001_06__1_3_2_2_5_1_3_1_2 N n18_a_fce_0102_2001_06__1_3_2_2_5_1_3_1->n18_a_fce_0102_2001_06__1_3_2_2_5_1_3_1_2 n18_a_fce_0102_2001_06__1_3_2_2_5_1_3_1_1->n18_a_fce_0102_2001_06__1_3_2_2_5_1_3_1_1_1 n18_a_fce_0102_2001_06__1_3_2_2_5_1_3_1_2->n18_a_fce_0102_2001_06__1_3_2_2_5_1_3_1_2_1 n18_a_fce_0102_2001_06__1_4->n18_a_fce_0102_2001_06__1_4_1 
( (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))