RelBib: Existence as a first-order predicate: Themes from Mirdamad https://www.relbib.de/Record/1778198481