-
- var naturalLanguage = typesflags.toLowerCase();
- if (typesflags != "NO" || type == "theory") {
- naturalLanguage = mode_list[3];
- }
- var annotations = cicflags.toLowerCase();
- if (cicflags != "NO" || type == "theory") {
- annotations = mode_list[4];
- }
- url = processorURL + "apply?xmluri=" + escape(getterURL + "getxml?uri=" + uri) + "&keys=" + keys + "¶m.CICURI=" + uri + "¶m.naturalLanguage=" + naturalLanguage + "¶m.annotations=" + annotations + "¶m.topurl=" + top.topurl;