Formal Models and Methods for the Analysis of Kinship and Household Organization | Synapse