2 <html xmlns="http://www.w3.org/1999/xhtml" xmlns:ht="http://www.cs.unibo.it/helm/namespaces/helm-theory" xmlns:helm="http://www.cs.unibo.it/helm" xml:lang="en" lang="en">
4 <title>Moogle_chat1</title>
7 <h3>There are more than one possible interpretations.</h3>
8 <br />Please select one or more of the following:
12 <input type="hidden" name="no_choices" value="@NO_CHOICES@"/>
13 <input type="hidden" name="keys" value="S,T1,T2,L,RT,E"/>
14 <input type="hidden" name="current_choices" value="@CURRENT_CHOICES@"/>
15 <input type="hidden" name="action" value="@ACTION@"/>
16 <input type="hidden" name="expression" value="@EXPRESSION@"/>
17 <input type="hidden" name="advanced" value="@ADVANCED@"/>
18 <input type="hidden" name="iden" value="@IDEN@"/>
21 <input type="button" value="Done"
23 var base_url = document.form.j_processorURL.value
25 + 'xmluri=' + encodeURIComponent(document.form.j_xmluri.value)
26 + '&keys=' + encodeURIComponent(document.form.keys.value)
27 + '&param.action=' + encodeURIComponent(document.form.action.value)
28 + '&param.expression=' +
29 encodeURIComponent(document.form.expression.value)
30 + '&param.advanced=' +
31 encodeURIComponent(document.form.advanced.value)
32 + '&param.profile=' +
33 encodeURIComponent(document.form.j_profile.value)
34 + '&profile=' +
35 encodeURIComponent(document.form.j_profile.value)
36 + '&param.media-type=' +
37 encodeURIComponent(document.form.j_media_type.value)
38 + '&param.thmedia-type=' +
39 encodeURIComponent(document.form.j_thmedia_type.value)
40 + '&param.thkeys=' +
41 encodeURIComponent(document.form.j_thkeys.value)
42 + '&param.embedkeys=' +
43 encodeURIComponent(document.form.j_embedkeys.value)
44 + '&param.thencoding=' +
45 encodeURIComponent(document.form.j_thencoding.value);
46 var fragment = '';
47 var id = document.form.iden.value;
48 var current_choices = document.form.current_choices.value;
49 for (j=0;j<document.form.no_choices.value;j++)
50 if (document.form[j].checked)
51 fragment=fragment + ' ' + document.form[j].value;
52 if (fragment != '')
54 var new_choices = current_choices;
55 if (new_choices != '')
56 new_choices = new_choices + ';';
57 new_choices=new_choices+id + fragment;
59 (base_url + '&param.choices=' +
60 encodeURIComponent(new_choices));
62 else alert('You must select at least one of the options.');}
64 <input type="button" value="Constants Only" name="ConstantOnly"
66 for (i=0; i<document.form.no_choices.value; i++)
68 var elem = document.form[i];
69 if (elem.value.substring(elem.value.length-4, elem.value.length)