[sample].

grandparent(X,Y).
;
;

sibling(X,Y).
;
;
;
;