“…Two variations of this semantics, the open [8] and generalised open answer set [9] semantics, consider non-ground programs and open domains, thereby relaxing the PNA. For the present version of QEL the correspondence to answer sets can be summarised as follows (see [17,18,3]). If ϕ is a universal sentence in L = C, P (see §3 below), a total QHT model U, T, T of ϕ is an equilibrium model of ϕ iff T, T is a propositional equilibrium model of the grounding of ϕ with respect to the universe U .…”