A Formal Model of Family Medicine