🔍
🏠
Wikipedia
🎲
Many-sorted first-order logic