Formal specification of NML files