Read the Quick Guide for writing problems.
Read the specification for TPTP annotated formulae.
Read the TPTP problem library manual section on problem presentation, particularly the section on include directives.
That's all you need to know for writing problems.