Wir zeigen einige grundlegende modelltheoretische Eigenschaften der Struktur, die man erhält, indem man zu der Gruppenstruktur einer nicht abelischen freien Gruppe ein Prädikat für jede der Fasern eines surjektiven Homomorphismus von der freien Gruppe zu einer endlichen Gruppe Q hinzufügt. Dafür verallgemeinern wir einige der geometrischen Techniken aus der Arbeit Zlil Selas. Insbesondere verallgemeinern wir ein früheres Ergebnis Merzlyakovs, indem wir beweisen, dass die positive Theorie dieser Struktur nur von der endlichen Gruppe Q abhängt.