Stav dette: A new system for the formal analysis of kinship