TelevisionChannel(etb2) ∧ From(etb2, euskalIrratiTelebista) ∧ Group(euskalIrratiTelebista)
LocatedIn(etb2, basqueAutonomousCommunity) ∧ LocatedIn(etb2, navarre) ∧ LocatedIn(etb2, frenchBasqueCountry)
∀x (BroadcastsIn(etb2, x) → Spanish(x))
∀x ∀y ∀z (TelevisionChannel(x) ∧ HasReceptionArea(x, y) ∧ LocatedIn(z, y) → CanAccess(z, x))
HasReceptionArea(etb2, basqueCounty)
LocatedIn(basqueAutonomousCommunity, basqueCounty) ∧ LocatedIn(navarre, basqueCounty) ∧ LocatedIn(frenchCasqueCountry, basqueCounty)
CanAccess(navarre, etb2)