@prefix : <#> .
@prefix d: <tag:infomesh.net,1-6-10:date/> .
@prefix log: <http://www.w3.org/2000/10/swap/log#> .

this :created [ d:day "Sunday" ] .

{ { :x d:day :y }
  log:implies
{
 { { :x d:day :y . :y log:startsWith "M" }
   log:implies
   { :x d:period d:WorkingWeek } } a log:Truth; log:forAll :y , :x .

 { { :x d:day :y . :y log:startsWith "T" }
   log:implies
   { :x d:period d:WorkingWeek } } a log:Truth; log:forAll :y , :x .

 { { :x d:day :y . :y log:startsWith "W" }
   log:implies
   { :x d:period d:WorkingWeek } } a log:Truth; log:forAll :y , :x .

 { { :x d:day :y . :y log:startsWith "F" }
   log:implies
   { :x d:period d:WorkingWeek } } a log:Truth; log:forAll :y , :x .

 { { :x d:day :y . :y log:startsWith "S" }
   log:implies
   { :x d:period d:Weekend } } a log:Truth; log:forAll :y , :x .
} } a log:Truth; log:forAll :x , :y .