Text this: Capturing the polynomial hierarchy by second-order revised Krom logic