أرسل هذا في رسالة قصيرة: Sorts, ontology, and metaphor