1. A non-transitory computer readable medium storing instructions, the instructions comprising: one or more instructions that, when executed, cause a processor to: receive an input, the input comprising a plurality of input elements; parse the input to identify: a first element from among the plurality of input elements, the first element represented according to a formalism type that identifies a syntax for organizing elements of the formalism type, and a second element from among the plurality of input elements, the second element represented according to the formalism type; access a library comprising entries for different formalism types, the formalism type included in the different formalism types; determine a likelihood that the first element and the second element coexist together in a formalism type from among the different types of formalisms in the library, and select, based on the determining, a selected formalism type that is consistent with a coexistence of the first element and the second element; and generate an output, the output: comprising the first element and the second element, and at least partly represented in a format corresponding to the selected formalism type.