JOB-TIME-RAGNE returns a time range where a job is permitted to be assigned
be assigned
(=> (Job.Time-Range $X $Y) (Time-Range $Y)) (=> (Job.Time-Range $X $Y) (Job $X))