top-level inputs, formula annotations, etc.
helper struct to share common fields - thanks to Michael Färber
annotations
cnf_annotated
file_name
fof_annotated
formula_role
formula_selection
general_function
general_list
general_terms
include
name_list
optional_info
source
useful_info
annotated_formula
formula_data
general_data
general_term
TPTP_input