Как правильно конвертировать SQL-запрос с JOIN в TRC?

Question

У меня есть следующий запрос SQL:

SELECT e.name FROM employee AS e WHERE e.emp_id =
(SELECT c.emp_id FROM certified AS c
JOIN aircraft as a
ON c.aircraft_id = a.aircraft_id
WHERE a.model = 'ABC');

Я попытался преобразовать этот SQL в TRC следующим образом:

{
    e.name | e ∈ employee ^
           ∃ c ∈ certified ^
           ∃ a ∈ aircraft 
    e.name = (
        c.aircraft_id = a.aircraft_id ^
        a.model = 'ABC'
}

но я не уверен, что правильно записал часть JOIN. Может кто-нибудь сказать мне, как правильно я могу преобразовать часть JOIN в TRC?