AM: generate PG input