Permalink
Switch branches/tags
Nothing to show
Find file Copy path
Fetching contributors…
Cannot retrieve contributors at this time
6 lines (5 sloc) 208 Bytes
(rule (big-shop ?person ?division)
(and (job ?person (?division . ?type))
(supervisor ?person ?supervisor)
(job ?supervisor (?division2 . ?type2))
(not (same (?division2 ?division)))))