( Edmonds-2002)

We are able to define an underlying structure in a logic programming language [...]   (Edmonds, 2002, p.68)