Missing interpretation function in exponent in Ex.4.2

[Antoine-Zimmermann]

Example 4.2 has:

(Arica^I, Santiago^I)∈flight and flight ⊆ connectsTo^I.

There should be ^I after flight in both occurrences:

(Arica^I, Santiago^I)∈flight^I and flight^I ⊆ connectsTo^I.