module patriarchical_family.

  son X Y :- (dad Y X), (male X).
  daughter X Y :- (dad Y X), (female X).