Title: A formal account of the Crow-and Omaha-type kinship terminologies