The lemma jobs_must_arrive_to_be_ready needs to be in the basic facts database.
jobs_must_arrive_to_be_ready