Voice, impersonal construction, and zero lexeme: formalization of crucial notions | Synapse