1 <?xml version="1.0" encoding="ISO-8859-1"?>
3 <!DOCTYPE MathQL SYSTEM "xmathql.dtd">
5 <!-- To validate: xmllint -valid -loaddtd -noout query.xml -->
21 <CONST>Equality</CONST>
26 <Position binder="$1"/>
33 <POSITION name="MainHypothesis"/>
36 <PROPERTY name="TITLE"><RVAR name="result"/></PROPERTY>
37 <CONST>Uguaglianza</CONST>