Man muss nichts trennen oder eine Relation erstellen. Vorschlag:
name=Konstantinbasilika
alt_name=Konstantin-Basilika (Schreibweise mit Bindestrich)
official_name=Evangelische Kirche zum Erlöser (laut Stadt Trier die offizielle Bezeichnung https://www.trier.de/Startseite/broker.jsp?uMen=0af70f72-90a0-9c31-9577-29a532ead2aa&uCon=f3160259-ac7d-7f51-6cfd-8f45a348b027&uTem=63f7089a-29fc-6c31-e777-d8b132ead2aa )

Das building=assembly_hall sieht auch komisch aus, gibt es nur einmal in der Datenbank. https://taginfo.openstreetmap.org/tags/building=assembly_hall