Gringo 4 encodings for analyze