Axiomatised countries with ancestral groups