options

Different logical interpretations that were detected during translation of the input.