--- /dev/null
+<HTML>
+<HEAD>
+<SCRIPT language="Javascript">
+function listrvars()
+ {
+ for (num=0; num<top.norvars; num++)
+ {
+ document.write("<OPTION value="+top.rvars[num]+">"+top.rvars[num]);
+ }
+ }
+function listvvars1()
+ {
+ for (num=0; num<top.novvars1; num++)
+ {
+ document.write("<OPTION value="+top.vvars1[num]+">"+top.vvars1[num]);
+ }
+ }
+function listvvars2()
+ {
+ for (num=0; num<top.novvars2; num++)
+ {
+ document.write("<OPTION value="+top.vvars2[num]+">"+top.vvars2[num]);
+ }
+ }
+function help()
+ {
+ with (document.form1) {
+ if (selopt[0].checked)
+ alert ("No help available.");
+ if (selopt[1].checked)
+ alert ("Turns a list of strings which can have attributes ( the [set] ) in a list of strings which cannot have them ( a [val] ).");
+ if (selopt[2].checked)
+ alert ("Returns the attribute of the given [vvar] in the given [rvar].");
+ if (selopt[3].checked)
+ alert ("No help available.");
+ if (selopt[4].checked)
+ alert ("Parenthesis are employed to force precedence between operators.");
+ if (selopt[5].checked)
+ alert ("The [path] you must enter represents a relation; this production returns a [val] composed by the union of all the URIs which match the chosen relation in the [val] you will enter afterwards. If you select 'inverse', you'll obtain a list of all the URIs for which the [val] matches the chosen relation, 'sub' and 'super' modify the result depending on the chosen relation.");
+ }
+ }
+function choice()
+{
+top.stadd="";top.wrong=0;voidfield=1;
+with (document.form1) {
+ if (selopt[0].checked) {
+ voidfield=0;
+ val1.value=top.tpa(val1.value);
+ top.stadd=val1.value;
+ top.gramcheck("qsl",val1.value);
+ }
+ if (selopt[1].checked) {
+ top.stadd="refof [set]";
+ }
+ if (selopt[2].checked) {
+ if (val2.value==""||val8.value==""){voidfield=1;}
+ else {top.stadd=val2.value+"."+val8.value;}
+ }
+ if (selopt[3].checked) {
+ top.stadd=val3.value;
+ }
+ if (selopt[4].checked) {
+ top.stadd="([val])";
+ }
+ if (selopt[5].checked) {
+ voidfield=0;
+ val6.value=top.tpa(val6.value);
+ top.stadd="property "+val45.value+" "+val5.value+" "+val6.value+" [val]";
+ top.gramcheck("qp",val6.value);
+ }
+ if (selopt[6].checked) {
+ val7.value=top.tpa(val7.value);
+ top.stadd=val7.value;
+ if (val7.value!="") {inputok=1} else voidfield=1;
+ }
+ }
+if (top.stadd!="") top.aggq();
+ else if (voidfield==1) alert ("You left at least one field unfilled");
+}
+</SCRIPT>
+</HEAD>
+<BODY>
+<h1> <SCRIPT language="Javascript">document.write(top.ltr) </SCRIPT>
+<input type="button" value="<-" onmouseOver="top.help(-8)" onclick="top.annulla()">
+<input type="button" value="->" onmouseOver="top.help(-81)" onclick="top.ripristina()"></h1>
+<h2> Select one of the following: </h2>
+<form name="form1" action="Javascript:choice();" method="get">
+<input type="radio" name="selopt"> <input name="val1" type=text value="{""}" onFocus="selopt[0].checked=true;top.help(7)"> <br>
+<input type="radio" name="selopt"> refof [set] <br>
+<input type="radio" name="selopt"> <select name="val2" type=text onFocus="selopt[2].checked=true;top.help(4)">
+<SCRIPT language=Javascript> listrvars(); </SCRIPT>
+</select> . <select name="val8" type=text onFocus="selopt[2].checked=true;top.help(8)">
+<SCRIPT language=Javascript> listvvars2(); </SCRIPT>
+</select>
+<br>
+<input type="radio" name="selopt"> <select name="val3" type=text onFocus="selopt[3].checked=true;top.help(81)">
+<SCRIPT language=Javascript> listvvars1(); </SCRIPT>
+</select>
+<br>
+<input type="radio" name="selopt"> ( [val] ) <br>
+<input type="radio" name="selopt"> property
+<select name="val45" onFocus="selopt[5].checked=true">
+<OPTION selected value="">
+<OPTION value=inverse> inverse
+</select>
+<select name="val5" onFocus="selopt[5].checked=true">
+<OPTION selected value="">
+<OPTION value=sub> sub
+<OPTION value=super> super
+</select> <input name="val6" type=text value="""" onFocus="selopt[5].checked=true;top.help(5)"> [val] <br>
+<input type="radio" name="selopt"> <input name="val7" type=text onFocus="selopt[6].checked=true;top.help(1)"> <br>
+<input type="submit" value="compose"><input type="button" value="get help" onclick="help()">
+</form>
+</BODY>
+</HTML>