var ricordaliaslist=0;
var actinput=0;
var numeroazioniannullate=0;
-var terminecic="";var listaliases="";var choices;var vlds=new Array();//contengono i parametri per dialogare col server in caso di ambiguità nella Match Conclusion.
+var terminecic="";var listaliases="";var choices="";var interpretation_choices="";var vlds=new Array();//contengono i parametri per dialogare col server in caso di ambiguità nella Match Conclusion.
aliasglob=new Array();//per conservare la lista degli alias
function initialize()
{
// @variable@ will be substituted by the searchEngine with the param.variable
// argument value
var processorURL="@processorURL@";
-var getterURL="@getterURL@";
var thkeys="@thkeys@";
-var proofcheckerURL="@proofcheckerURL@";
-var draw_graphURL="@draw_graphURL@";
-var uri_set_queueURL="@uri_set_queueURL@";
-var UNICODEvsSYMBOL="@UNICODEvsSYMBOL@";
var keys="@keys@";
var thkeys="@thkeys@";
var embedkeys="@embedkeys@";
var thencoding="@thencoding@";
var media_type="@media-type@";
var thmedia_type="@thmedia-type@";
-var interfaceURL="@interfaceURL@";
-var thinterfaceURL="@thinterfaceURL@";
var CICURI="@CICURI@";
var naturalLanguage="@naturalLanguage@";
var annotations="@annotations@";
-var interface_topurl="@topurl@";
function ask_uwobo(url)
{
return (top.topurl+"/ask_uwobo?url="+
encodeURIComponent(processorURL + "apply?" +
"xmluri=" + encodeURIComponent(url) +
+ "&profile=default" +
+ "¶m.profile=default" +
"&keys=" + encodeURIComponent(thkeys) +
- "¶m.processorURL=" + encodeURIComponent(processorURL) +
- "¶m.getterURL=" + encodeURIComponent(getterURL) +
- "¶m.proofcheckerURL=" + encodeURIComponent(proofcheckerURL) +
- "¶m.draw_graphURL=" + encodeURIComponent(draw_graphURL) +
- "¶m.uri_set_queueURL=" + encodeURIComponent(uri_set_queueURL) +
- "¶m.UNICODEvsSYMBOL=" + encodeURIComponent(UNICODEvsSYMBOL) +
"¶m.keys=" + encodeURIComponent(keys) +
"¶m.thkeys=" + encodeURIComponent(thkeys) +
"¶m.embedkeys=" + encodeURIComponent(embedkeys) +
"¶m.thencoding=" + encodeURIComponent(thencoding) +
"¶m.media-type=" + encodeURIComponent(media_type) +
"¶m.thmedia-type=" + encodeURIComponent(thmedia_type) +
- "¶m.interfaceURL=" + encodeURIComponent(interfaceURL) +
- "¶m.thinterfaceURL=" + encodeURIComponent(thinterfaceURL) +
"¶m.CICURI=" + encodeURIComponent(CICURI) +
"¶m.naturalLanguage=" + encodeURIComponent(naturalLanguage) +
"¶m.annotations=" + encodeURIComponent(annotations) +
- "¶m.topurl=" + encodeURIComponent(interface_topurl) +
- "&prop.method=html"));
+ "&prop.method=html" +
+ "¶m.expandasking=" + encodeURIComponent(top.topurl)));
}
function help(w) // quando invocata, visualizza l' help relativo ad un oggetto. Di solito è legata ad un evento onFocus o onMouseOver.
{