(connected-terminals ?j ?t) means that junction ?j connects terminal ?t to other terminals ?t2 for which (connected-terminals ?j ?t2) also holds.