18_a_fce_0102_2001_06
Shops should be open 24 hours a day, seven days a week.
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).
fof(formula,axiom,
? [R_0018_0001__SHOPS,R_0018_0005__24_R_0018_0006__HOURS,R_0018_0004__OPEN,R_0018_0002__SHOULD_R_0018_0003__BE,R_0018_0007__A_R_0018_0008__DAY,Z_000_18_A_FCE_0102_2001_06_18,R_0018_0010__SEVEN_R_0018_0011__DAYS,Z_000_18_A_FCE_0102_2001_06_26,R_0018_0012__A_R_0018_0013__WEEK,Z_000_18_A_FCE_0102_2001_06_32] :
( r_0018_0001__Shops(R_0018_0001__SHOPS)
& r_0018_0005__24_r_0018_0006__hours(R_0018_0005__24_R_0018_0006__HOURS)
& r_0018_0007__a_r_0018_0008__day(R_0018_0007__A_R_0018_0008__DAY)
& r_0018_0010__seven_r_0018_0011__days(R_0018_0010__SEVEN_R_0018_0011__DAYS)
& r_0018_0012__a_r_0018_0013__week(R_0018_0012__A_R_0018_0013__WEEK)
& z_000_18_a_fce_0102_2001_06_32(Z_000_18_A_FCE_0102_2001_06_32)
& has_prd(Z_000_18_A_FCE_0102_2001_06_32,R_0018_0012__A_R_0018_0013__WEEK)
& has_arg0(Z_000_18_A_FCE_0102_2001_06_32,R_0018_0010__SEVEN_R_0018_0011__DAYS)
& z_000_18_a_fce_0102_2001_06_26(Z_000_18_A_FCE_0102_2001_06_26)
& has_prd(Z_000_18_A_FCE_0102_2001_06_26,R_0018_0010__SEVEN_R_0018_0011__DAYS)
& has_arg0(Z_000_18_A_FCE_0102_2001_06_26,R_0018_0005__24_R_0018_0006__HOURS)
& z_000_18_a_fce_0102_2001_06_18(Z_000_18_A_FCE_0102_2001_06_18)
& has_prd(Z_000_18_A_FCE_0102_2001_06_18,R_0018_0007__A_R_0018_0008__DAY)
& has_arg0(Z_000_18_A_FCE_0102_2001_06_18,R_0018_0005__24_R_0018_0006__HOURS)
& r_0018_0002__should_r_0018_0003__be(R_0018_0002__SHOULD_R_0018_0003__BE)
& has_prd(R_0018_0002__SHOULD_R_0018_0003__BE,R_0018_0004__OPEN)
& r_0018_0004__open(R_0018_0004__OPEN)
& has_nim13(R_0018_0004__OPEN,R_0018_0005__24_R_0018_0006__HOURS)
& has_arg0(R_0018_0002__SHOULD_R_0018_0003__BE,R_0018_0001__SHOPS) ) ).
( (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))