labels are properly written in OWL2.Sign.symOf and are printed via Static.ToXml, using the new Logic.Logic.sym_label