% ======================================= %
% The following are the positive examples %
% ======================================= %

grandparent(alice,ken).
grandparent(bob,laura).
grandparent(bob,ken).
grandparent(alice,laura).