--- /dev/null
+<?xml version="1.0" encoding="ISO-8859-1"?>
+
+<!DOCTYPE MQLquery SYSTEM "xmathql.dtd">
+
+<!-- To validate: xmllint -valid -loaddtd -noout query.xml -->
+
+<MQLquery>
+ <Select>
+ <In>
+ <Relation name="Use">
+ <Pattern>
+ <CONST>cic:/Coq/Init/Logic/Equality/eq.ind</CONST>
+ </Pattern>
+ <Attr binder="$1"/>
+ </Relation>
+ </In>
+ <Where rvar="@result">
+ <AND>
+ <EQ>
+ <BINDER name="$1"><Rvar name="@result"/></BINDER>
+ <CONST>MainHypothesis</CONST>
+ </EQ>
+ <EQ>
+ <PROPERTY name="TITLE"><REFOF><Rvar name="@result"/></REFOF></PROPERTY>
+ <CONST>Uguaglianza</CONST>
+ </EQ>
+ </AND>
+ </Where>
+ </Select>
+</MQLquery>
+