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