% parent
    'http://www.daml.org/2001/01/gedcom/gedcom#parent'(_, Vchild, Vparent) :- 'http://www.daml.org/2001/01/gedcom/gedcom#childIn'(_, Vchild, Vfamily), 'http://www.daml.org/2001/01/gedcom/gedcom#spouseIn'(_, Vparent, Vfamily).
  
	% father
    'http://www.daml.org/2001/01/gedcom/gedcom#father'(_, Vchild, Vparent) :- 'http://www.daml.org/2001/01/gedcom/gedcom#parent'(_, Vchild, Vparent), 'http://www.daml.org/2001/01/gedcom/gedcom#sex'(_, Vparent, 'M').
  
	% mother
    'http://www.daml.org/2001/01/gedcom/gedcom#mother'(_, Vchild, Vparent) :- 'http://www.daml.org/2001/01/gedcom/gedcom#parent'(_, Vchild, Vparent), 'http://www.daml.org/2001/01/gedcom/gedcom#sex'(_, Vparent, 'F').
  
	% child
    'http://www.daml.org/2001/01/gedcom/gedcom#child'(_, Vparent, Vchild) :- 'http://www.daml.org/2001/01/gedcom/gedcom#parent'(_, Vchild, Vparent).
  
	% son
    'http://www.daml.org/2001/01/gedcom/gedcom#son'(_, Vparent, Vchild) :- 'http://www.daml.org/2001/01/gedcom/gedcom#child'(_, Vparent, Vchild), 'http://www.daml.org/2001/01/gedcom/gedcom#sex'(_, Vchild, 'M').
  
	% daughter
    'http://www.daml.org/2001/01/gedcom/gedcom#daughter'(_, Vparent, Vchild) :- 'http://www.daml.org/2001/01/gedcom/gedcom#child'(_, Vparent, Vchild), 'http://www.daml.org/2001/01/gedcom/gedcom#sex'(_, Vchild, 'F').
  
	% grandparent
    'http://www.daml.org/2001/01/gedcom/gedcom#grandparent'(_, Vchild, Vgrandparent) :- 'http://www.daml.org/2001/01/gedcom/gedcom#parent'(_, Vchild, Vparent), 'http://www.daml.org/2001/01/gedcom/gedcom#parent'(_, Vparent, Vgrandparent).
  
	% grandfather
    'http://www.daml.org/2001/01/gedcom/gedcom#grandfather'(_, Vchild, Vgrandparent) :- 'http://www.daml.org/2001/01/gedcom/gedcom#grandparent'(_, Vchild, Vgrandparent), 'http://www.daml.org/2001/01/gedcom/gedcom#sex'(_, Vgrandparent, 'M').
  
	% grandmother
    'http://www.daml.org/2001/01/gedcom/gedcom#grandmother'(_, Vchild, Vgrandparent) :- 'http://www.daml.org/2001/01/gedcom/gedcom#grandparent'(_, Vchild, Vgrandparent), 'http://www.daml.org/2001/01/gedcom/gedcom#sex'(_, Vgrandparent, 'F').
  
	% grandchild
    'http://www.daml.org/2001/01/gedcom/gedcom#grandchild'(_, Vgrandparent, Vchild) :- 'http://www.daml.org/2001/01/gedcom/gedcom#grandparent'(_, Vchild, Vgrandparent).
  
	% grandson
    'http://www.daml.org/2001/01/gedcom/gedcom#grandson'(_, Vgrandparent, Vchild) :- 'http://www.daml.org/2001/01/gedcom/gedcom#grandparent'(_, Vchild, Vgrandparent), 'http://www.daml.org/2001/01/gedcom/gedcom#sex'(_, Vchild, 'M').
  
	% granddaughter
    'http://www.daml.org/2001/01/gedcom/gedcom#granddaughter'(_, Vchild, Vgrandparent) :- 'http://www.daml.org/2001/01/gedcom/gedcom#grandparent'(_, Vchild, Vgrandparent), 'http://www.daml.org/2001/01/gedcom/gedcom#sex'(_, Vchild, 'F').
  
	% sibling
    'http://www.daml.org/2001/01/gedcom/gedcom#sibling'(_, Vchild1, Vchild2) :- 'http://www.daml.org/2001/01/gedcom/gedcom#childIn'(_, Vchild1, Vfamily), 'http://www.daml.org/2001/01/gedcom/gedcom#childIn'(_, Vchild2, Vfamily).
  
	% siblingSymmetric
    'http://www.daml.org/2001/01/gedcom/gedcom#sibling'(_, Vchild1, Vchild2) :- 'http://www.daml.org/2001/01/gedcom/gedcom#sibling'(_, Vchild2, Vchild1).
  
	% brother
    'http://www.daml.org/2001/01/gedcom/gedcom#brother'(_, Vchild, Vsibling) :- 'http://www.daml.org/2001/01/gedcom/gedcom#sibling'(_, Vchild, Vsibling), 'http://www.daml.org/2001/01/gedcom/gedcom#sex'(_, Vsibling, 'M').
  
	% sister
    'http://www.daml.org/2001/01/gedcom/gedcom#sister'(_, Vchild, Vsibling) :- 'http://www.daml.org/2001/01/gedcom/gedcom#sibling'(_, Vchild, Vsibling), 'http://www.daml.org/2001/01/gedcom/gedcom#sex'(_, Vsibling, 'F').
  
	% spouse
    'http://www.daml.org/2001/01/gedcom/gedcom#spouse'(_, Vspouse1, Vspouse2) :- 'http://www.daml.org/2001/01/gedcom/gedcom#spouseIn'(_, Vspouse1, Vfamily), 'http://www.daml.org/2001/01/gedcom/gedcom#spouseIn'(_, Vspouse2, Vfamily).
  
	% spouseSymmetric
    'http://www.daml.org/2001/01/gedcom/gedcom#spouse'(_, Vspouse1, Vspouse2) :- 'http://www.daml.org/2001/01/gedcom/gedcom#spouse'(_, Vspouse2, Vspouse1).
  
	% husband
    'http://www.daml.org/2001/01/gedcom/gedcom#husband'(_, Vspouse, Vhusband) :- 'http://www.daml.org/2001/01/gedcom/gedcom#spouse'(_, Vspouse, Vhusband), 'http://www.daml.org/2001/01/gedcom/gedcom#sex'(_, Vhusband, 'M').
  
	% wife
    'http://www.daml.org/2001/01/gedcom/gedcom#wife'(_, Vspouse, Vwife) :- 'http://www.daml.org/2001/01/gedcom/gedcom#spouse'(_, Vspouse, Vwife), 'http://www.daml.org/2001/01/gedcom/gedcom#sex'(_, Vwife, 'F').
  
	% uncle1
    'http://www.daml.org/2001/01/gedcom/gedcom#uncle'(_, Vchild, Vuncle) :- 'http://www.daml.org/2001/01/gedcom/gedcom#parent'(_, Vchild, Vparent), 'http://www.daml.org/2001/01/gedcom/gedcom#brother'(_, Vparent, Vuncle).
  
	% uncle2
    'http://www.daml.org/2001/01/gedcom/gedcom#uncle'(_, Vchild, Vuncle) :- 'http://www.daml.org/2001/01/gedcom/gedcom#aunt'(_, Vchild, Vaunt), 'http://www.daml.org/2001/01/gedcom/gedcom#spouse'(_, Vaunt, Vuncle).
  
	% aunt1
    'http://www.daml.org/2001/01/gedcom/gedcom#aunt'(_, Vchild, Vaunt) :- 'http://www.daml.org/2001/01/gedcom/gedcom#parent'(_, Vchild, Vparent), 'http://www.daml.org/2001/01/gedcom/gedcom#sister'(_, Vparent, Vaunt).
  
	% aunt2
    'http://www.daml.org/2001/01/gedcom/gedcom#aunt'(_, Vchild, Vaunt) :- 'http://www.daml.org/2001/01/gedcom/gedcom#uncle'(_, Vchild, Vuncle), 'http://www.daml.org/2001/01/gedcom/gedcom#spouse'(_, Vuncle, Vaunt).
  
	% niece
    'http://www.daml.org/2001/01/gedcom/gedcom#niece'(_, Vsibling, Vchild) :- 'http://www.daml.org/2001/01/gedcom/gedcom#daughter'(_, Vparent, Vchild), 'http://www.daml.org/2001/01/gedcom/gedcom#sibling'(_, Vparent, Vsibling).
  
	% nephew
    'http://www.daml.org/2001/01/gedcom/gedcom#nephew'(_, Vsibling, Vchild) :- 'http://www.daml.org/2001/01/gedcom/gedcom#son'(_, Vparent, Vchild), 'http://www.daml.org/2001/01/gedcom/gedcom#sibling'(_, Vparent, Vsibling).
  
	% firstCousin
    'http://www.daml.org/2001/01/gedcom/gedcom#firstCousin'(_, Vcousin1, Vcousin2) :- 'http://www.daml.org/2001/01/gedcom/gedcom#parent'(_, Vcousin1, Vsibling1), 'http://www.daml.org/2001/01/gedcom/gedcom#parent'(_, Vcousin2, Vsibling2), 'http://www.daml.org/2001/01/gedcom/gedcom#sibling'(_, Vsibling1, Vsibling2).
  
	% ancestor1
    'http://www.daml.org/2001/01/gedcom/gedcom#ancestor'(_, Vchild, Vparent) :- 'http://www.daml.org/2001/01/gedcom/gedcom#parent'(_, Vchild, Vparent).
  
	% ancestor2
    'http://www.daml.org/2001/01/gedcom/gedcom#ancestor'(_, Vchild, Vancestor) :- 'http://www.daml.org/2001/01/gedcom/gedcom#parent'(_, Vchild, Vparent), 'http://www.daml.org/2001/01/gedcom/gedcom#ancestor'(_, Vparent, Vancestor).
  
	% descendent
    'http://www.daml.org/2001/01/gedcom/gedcom#descendent'(_, Vancestor, Vchild) :- 'http://www.daml.org/2001/01/gedcom/gedcom#ancestor'(_, Vchild, Vancestor).
  
	% cousin
    'http://www.daml.org/2001/01/gedcom/gedcom#cousin'(_, Vdescendent1, Vdescendent2) :- 'http://www.daml.org/2001/01/gedcom/gedcom#sibling'(_, Vsibling1, Vsibling2), 'http://www.daml.org/2001/01/gedcom/gedcom#descendent'(_, Vsibling1, Vdescendent1), 'http://www.daml.org/2001/01/gedcom/gedcom#descendent'(_, Vsibling2, Vdescendent2).