<MQLquery>
<Select>
<In>
- <Use>
+ <Relation name="Use">
<Pattern>
- <PPrefix><CONST>cic</CONST></PPrefix>
- <PBody>
- <SLASH/>
- <CONST>Coq</CONST>
- <SLASH/>
- <CONST>Init</CONST>
- <SLASH/>
- <CONST>Logic</CONST>
- <SLASH/>
- <CONST>Equality</CONST>
- <SLASH/>
- <CONST>eq</CONST>
- </PBody>
- <Ext><CONST>ind</CONST></Ext>
+ <CONST>cic:/Coq/Init/Logic/Equality/eq.ind</CONST>
</Pattern>
- <Position binder="$1"/>
- </Use>
+ <Attr binder="$1"/>
+ </Relation>
</In>
- <Where rvar="result">
+ <Where rvar="@result">
<AND>
- <IS>
- <BINDER name="$1"/>
- <POSITION name="MainHypothesis"/>
- </IS>
- <IS>
- <PROPERTY name="TITLE"><RVAR name="result"/></PROPERTY>
+ <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>
- </IS>
+ </EQ>
</AND>
</Where>
</Select>