3 xmlns="http://www.w3.org/1999/xhtml"
4 xmlns:ht="http://www.cs.unibo.it/helm/namespaces/helm-theory"
5 xmlns:helm="http://www.cs.unibo.it/helm"
9 <helm:include href="moogle_header.html.src" />
11 <helm:include href="moogle_form.html.src" />
12 <helm:include href="moogle_querybar.html.src" />
13 <div style="font-size: larger;">
15 <b>Ambiguous input:</b> <kbd>@EXPRESSION@</kbd>
18 Please choose one of the following interpretations:
22 <helm:hidden_params />
23 <input type="hidden" name="keys" value="S,T1,T2,L,RT,E"/>
24 <input type="hidden" name="param.expression" value="@EXPRESSION@"/>
25 <input type="hidden" name="param.action" value="@ACTION@"/>
26 <input type="hidden" name="param.advanced" value="@ADVANCED@"/>
27 <input type="hidden" name="param.choices" value="@CURRENT_CHOICES@"/>
30 <input type="submit" value="Choose" />
34 <div class='bottombar'>
35 <span class="invisible">moogle rules</span>