translation

The logical translation of the input that this finding validates.