See some comments (W) to the original rule.
On 22/11/2013, ns <nick.snels(a)ocmwturnhout.be> wrote:
In order to make the administration simpler, I created a table in
assigns an employee to a certain shiftType. In my code I stated that once
employee is assigned to a shiftType, he or she automatically has the skills
needed for that shiftType, hence the skill == $shiftType part in the rule.
$assignment : ShiftAssignment($employee : employee, $shiftType
W: Here we know that $employee has skill $shiftType (according to "once
an employee is assigned to a shiftType, he or she automatically has
not SkillProficiency(employee == $employee, skill == $shiftType)
W: Taking "proficiency" in the usual meaning, isn't SkillProficiency(
E, S ) effectively the same proposition as ShiftAssignment( E, T )?
W: SkillProficiency has not been explained, so it's hard to correlate
this rule with the original statement.