# Bad rule for testing.
parent(Godwin, Tostig).
mother($X, $Y) :- parent($X, $Y), female$X).
