ulkb.TheorySettings.parser#