1 <?xml version="1.0" encoding="ISO-8859-1"?>
3 <!DOCTYPE MQLquery SYSTEM "xmathql.dtd">
5 <!-- To validate: xmllint -valid -loaddtd -noout query.xml -->
12 <PPrefix><CONST>cic</CONST></PPrefix>
21 <CONST>Equality</CONST>
25 <Ext><CONST>ind</CONST></Ext>
27 <Position binder="$1"/>
34 <POSITION name="MainHypothesis"/>
37 <PROPERTY name="TITLE"><RVAR name="result"/></PROPERTY>
38 <CONST>Uguaglianza</CONST>