On the Expressiveness of Levesque's Normal Form