Unsafe Rules
IMDBActor($Actor, M) ? actor-in(M, Part, Actor)
Sidewalk($C, M, Th, Time) ? shows-in(M, C, Th)
All variables on left-hand-side must appear on right-hand-side
- Otherwise rule is “unsafe”
Converse not necessary
- RHS var (e.g. Part) is existentially quantified