The Jobs Puzzle: A Challenge for Logical…
https://cse.buffalo.edu/~shapiro/Papers/SS11-06-017.pdf
4 Mar 2011:
has job(roberta, boxer). 8. jp: Pete has no education past the ninth grade. ... The formulation does not include a person or job predi-cate, and has unintended implications, such asequal people(chef , chef ),equal jobs(roberta, roberta),and(male(nurse)