[CG] Logic of Relatives