This is an example of logical reasoning applied to the graphs of genealogical trees. Defining the kinship types on top of genealogical trees seems to be the perfect use case for semantic technologies.
Some results have been hidden because they may be inaccessible to you
Show inaccessible results