أرسل هذا في رسالة قصيرة: Term logic with choice operator