Introduce 'encoding' property in result specification