xsddoc/samples/ruleml/equalog/html/http___www.ruleml.org_0.86_xsd/complexType _body.type.html,NONE,1.1 and.type.html,NONE,1.1 _opr.type.html,NONE,1.1 nano.type.html,NONE,1.1 ctor.type.html,NONE,1.1 _rlab.type.html,NONE,1.1 fact.type.html,NONE,1.1 _opf.type.html,NONE,1.1 rulebase.type.html,NONE,1.1 fun.type.html,NONE,1.1 plex.type.html,NONE,1.1 rel.type.html,NONE,1.1 atom.type.html,NONE,1.1 or.type.html,NONE,1.1 _head.type.html,NONE,1.1 _rbaselab.type.html,NONE,1.1 _slot.type.html,NONE,1.1 cterm.type.html,NONE,1.1 _opc.type.html,NONE,1.1 var.type.html,NONE,1.1 query.type.html,NONE,1.1 imp.type.html,NONE,1.1 ind.type.html,NONE,1.1 eq.type.html,NONE,1.1

Kurt Riede <[email protected]>
Newsgroups gmane.text.xml.xframe.xsddoc.devel
Message-ID <[email protected]>
Update of /cvsroot/xframe/xsddoc/samples/ruleml/equalog/html/http___www.ruleml.org_0.86_xsd/complexType
In directory sc8-pr-cvs1.sourceforge.net:/tmp/cvs-serv25313/samples/ruleml/equalog/html/http___www.ruleml.org_0.86_xsd/complexType

Added Files:
	_body.type.html and.type.html _opr.type.html nano.type.html 
	ctor.type.html _rlab.type.html fact.type.html _opf.type.html 
	rulebase.type.html fun.type.html plex.type.html rel.type.html 
	atom.type.html or.type.html _head.type.html 
	_rbaselab.type.html _slot.type.html cterm.type.html 
	_opc.type.html var.type.html query.type.html imp.type.html 
	ind.type.html eq.type.html 
Log Message:
new sample: ruleML

--- NEW FILE: _opf.type.html ---
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd">
<html><!-- This file is automaticaly generated by xframe - xsddoc--><!-- hosted at http://xframe.sourceforge.net --><!-- Please do not modify. --><head><META http-equiv="Content-Type" content="text/html; charset=ISO-8859-1"><title>http://www.ruleml.org/0.86/xsd</title><meta content="text/html; charset=ISO-8859-1" http-equiv="Content-Type"><link title="Style" href="../../stylesheet.css" type="text/css" rel="stylesheet"></head><body><table cellpadding="3" cellspacing="0" border="0" width="100%"><tr><td class="NavBarCell1" width="70%" colspan="2"><table cellspacing="3" cellpadding="0" border="0"><tr valign="top" align="center"><td bgcolor="#EEEEFF" class="NavBarCell1"><a href="../../schema-summary.html"><font class="NavBarFont1"><b>Overview</b></font></a>&nbsp;</td><td bgcolor="#EEEEFF" class="NavBarCell1"><a href="../index.html"><font class="NavBarFont1"><b>Namespace</b></font></a>&nbsp;</
 td><td class="NavBarCell1Rev" bgcolor="#EEEEFF"><font class="NavBarFont1Rev"><b>Component!
 </b></font>&nbsp;</td><td bgcolor="#EEEEFF" class="NavBarCell1"><a href="../../help-doc.html"><font class="NavBarFont1"><b>Help</b></font></a>&nbsp;</td></tr></table></td><td rowspan="3" valign="top" align="right"><em><b>XML Schema for a Equational-Logic RuleML sublanguage</b></em></td></tr><tr><td class="NavBarCell2"><font size="-2">DETAILS:&nbsp;<a href="#documentation"><b>DOCUMENTATION</b></a>&nbsp;|&nbsp;<a href="#elements"><b>NESTED</b></a>&nbsp;|&nbsp;<a href="#attributes"><b>ATTRIBUTES</b></a>&nbsp;|&nbsp;<a href="#source"><b>SOURCE</b></a></font></td><td class="NavBarCell2"><font size="-2"><a target="_top" href="../../index.html"><b>FRAMES</b></a>&nbsp;|&nbsp;<a target="_top" href="#"><b>NO&nbsp;FRAMES</b></a></font></td></tr></table><hr><h2><span class="smal">http://www.ruleml.org/0.86/xsd</span><br>complexType _opf.type</h2><dl><dt>Super Types</dt></dl><pre>{http://www.w3.org/
 2001/XMLSchema}anyType<br>  |<br>  +--<b>{http://www.ruleml.org/0.86/xsd}_opf.type</b> (r!
 estriction)<br></pre><hr><dl><dt>Model</dt><dd><tt>&lt;...&gt;<br>  <a
 href="../../http___www.ruleml.org_0.86_xsd/element/fun.html">fun</a>  <br>&lt;/...&gt;</tt></dd></dl><hr><br><a name="elements"></a><table width="100%" cellspacing="0" cellpadding="3" border="1"><tr class="TableHeadingColor" bgcolor="#CCCCFF"><td colspan="2"><font size="+2"><b>Nested Element Summary</b></font></td></tr><tr class="TableRowColor" bgcolor="white"><td width="1" valign="top" align="right"><font size="-1"><code>&nbsp;</code></font></td><td><code><a href="../../http___www.ruleml.org_0.86_xsd/element/fun.html">fun</a></code><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</td></tr></table><a name="source"></a><dl><dt>Source</dt><dd><pre xmlns:doc="http://xframe.sf.net/xsddoc/doc" xmlns:net.sf.xframe.xsddoc="http://xframe.sf.net/xsddoc/doc" xmlns:xs="http://www.w3.org/2001/XMLSchema"><div class="code"><span class="oper">&lt;</span><span class="elem">xs:complexTyp
 e</span> <span class="attr">name</span><span class="oper">="</span><span class="cont">_op!
 f.type</span><span class="oper">"</span><span class="oper">&gt;</span><br><div class="code">  <span class="oper">&lt;</span><span class="elem">xs:group</span> <span class="attr">ref</span><span class="oper">="</span><a href="../../http___www.ruleml.org_0.86_xsd/group/_opf.content.html"><span class="cont">_opf.content</span></a><span class="oper">"</span><span class="oper">/&gt;</span><br></div><div class="code">  <span class="oper">&lt;</span><span class="elem">xs:attributeGroup</span> <span class="attr">ref</span><span class="oper">="</span><a href="../../http___www.ruleml.org_0.86_xsd/attributeGroup/_opf.attlist.html"><span class="cont">_opf.attlist</span></a><span class="oper">"</span><span class="oper">/&gt;</span><br></div><span class="oper">&lt;/</span><span class="elem">xs:complexType</span><span class="oper">&gt;</span><br></div></pre></dd></dl><hr><table cellpadding="3" cellspa
 cing="0" border="0" width="100%"><tr><td class="NavBarCell1" width="70%" colspan="2"><tab!
 le cellspacing="3" cellpadding="0" border="0"><tr valign="top" align="
center"><td bgcolor="#EEEEFF" class="NavBarCell1"><a href="../../schema-summary.html"><font class="NavBarFont1"><b>Overview</b></font></a>&nbsp;</td><td bgcolor="#EEEEFF" class="NavBarCell1"><a href="../index.html"><font class="NavBarFont1"><b>Namespace</b></font></a>&nbsp;</td><td class="NavBarCell1Rev" bgcolor="#EEEEFF"><font class="NavBarFont1Rev"><b>Component</b></font>&nbsp;</td><td bgcolor="#EEEEFF" class="NavBarCell1"><a href="../../help-doc.html"><font class="NavBarFont1"><b>Help</b></font></a>&nbsp;</td></tr></table></td><td rowspan="3" valign="top" align="right"><em><b>XML Schema for a Equational-Logic RuleML sublanguage</b></em></td></tr><tr><td class="NavBarCell2"><font size="-2">DETAILS:&nbsp;<a href="#documentation"><b>DOCUMENTATION</b></a>&nbsp;|&nbsp;<a href="#elements"><b>NESTED</b></a>&nbsp;|&nbsp;<a href="#attributes"><b>ATTRIBUTES</b></a>&nbsp;|&nbsp;<a href="#source"
 ><b>SOURCE</b></a></font></td><td class="NavBarCell2"><font size="-2"><a target="_top" hr!
 ef="../../index.html"><b>FRAMES</b></a>&nbsp;|&nbsp;<a target="_top" href="#"><b>NO&nbsp;FRAMES</b></a></font></td></tr></table><hr><font size="-1">Submit a <a target="_blank" href="http://sourceforge.net/tracker/?atid=454391&group_id=48863&func=browse">bug</a> or a <a target="_blank" href="http://sourceforge.net/tracker/?atid=454394&group_id=48863&func=browse">feature</a>.<br>Created by <a href="http://xframe.sourceforge.net/xsddoc.html" target="_blank">xsddoc</a>, a sub project of <a target="_blank" href="http://xframe.sourceforge.net">xframe</a>, hosted at <a target="_blank" href="http://www.sourceforge.net">http://www.sourceforge.net</a>.</font></body></html>
--- NEW FILE: rel.type.html ---
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd">
<html><!-- This file is automaticaly generated by xframe - xsddoc--><!-- hosted at http://xframe.sourceforge.net --><!-- Please do not modify. --><head><META http-equiv="Content-Type" content="text/html; charset=ISO-8859-1"><title>http://www.ruleml.org/0.86/xsd</title><meta content="text/html; charset=ISO-8859-1" http-equiv="Content-Type"><link title="Style" href="../../stylesheet.css" type="text/css" rel="stylesheet"></head><body><table cellpadding="3" cellspacing="0" border="0" width="100%"><tr><td class="NavBarCell1" width="70%" colspan="2"><table cellspacing="3" cellpadding="0" border="0"><tr valign="top" align="center"><td bgcolor="#EEEEFF" class="NavBarCell1"><a href="../../schema-summary.html"><font class="NavBarFont1"><b>Overview</b></font></a>&nbsp;</td><td bgcolor="#EEEEFF" class="NavBarCell1"><a href="../index.html"><font class="NavBarFont1"><b>Namespace</b></font></a>&nbsp;</
 td><td class="NavBarCell1Rev" bgcolor="#EEEEFF"><font class="NavBarFont1Rev"><b>Component!
 </b></font>&nbsp;</td><td bgcolor="#EEEEFF" class="NavBarCell1"><a href="../../help-doc.html"><font class="NavBarFont1"><b>Help</b></font></a>&nbsp;</td></tr></table></td><td rowspan="3" valign="top" align="right"><em><b>XML Schema for a Equational-Logic RuleML sublanguage</b></em></td></tr><tr><td class="NavBarCell2"><font size="-2">DETAILS:&nbsp;<a href="#documentation"><b>DOCUMENTATION</b></a>&nbsp;|&nbsp;<a href="#elements"><b>NESTED</b></a>&nbsp;|&nbsp;<a href="#attributes"><b>ATTRIBUTES</b></a>&nbsp;|&nbsp;<a href="#source"><b>SOURCE</b></a></font></td><td class="NavBarCell2"><font size="-2"><a target="_top" href="../../index.html"><b>FRAMES</b></a>&nbsp;|&nbsp;<a target="_top" href="#"><b>NO&nbsp;FRAMES</b></a></font></td></tr></table><hr><h2><span class="smal">http://www.ruleml.org/0.86/xsd</span><br>complexType rel.type</h2><dl><dt>Super Types</dt></dl><pre>{http://www.w3.org/2
 001/XMLSchema}anyType<br>  |<br>  +--<b>{http://www.ruleml.org/0.86/xsd}rel.type</b> (res!
 triction)<br></pre><hr><dl><dt>Model</dt><dd><tt>&lt;...&gt;<br>    <b
r>&lt;/...&gt;</tt></dd></dl><hr><a name="source"></a><dl><dt>Source</dt><dd><pre xmlns:doc="http://xframe.sf.net/xsddoc/doc" xmlns:net.sf.xframe.xsddoc="http://xframe.sf.net/xsddoc/doc" xmlns:xs="http://www.w3.org/2001/XMLSchema"><div class="code"><span class="oper">&lt;</span><span class="elem">xs:complexType</span> <span class="attr">mixed</span><span class="oper">="</span><span class="cont">true</span><span class="oper">"</span> <span class="attr">name</span><span class="oper">="</span><span class="cont">rel.type</span><span class="oper">"</span><span class="oper">&gt;</span><br><div class="code">  <span class="oper">&lt;</span><span class="elem">xs:group</span> <span class="attr">ref</span><span class="oper">="</span><a href="../../http___www.ruleml.org_0.86_xsd/group/rel.content.html"><span class="cont">rel.content</span></a><span class="oper">"</span><span class="oper">/&gt;</span
 ><br></div><div class="code">  <span class="oper">&lt;</span><span class="elem">xs:attrib!
 uteGroup</span> <span class="attr">ref</span><span class="oper">="</span><a href="../../http___www.ruleml.org_0.86_xsd/attributeGroup/rel.attlist.html"><span class="cont">rel.attlist</span></a><span class="oper">"</span><span class="oper">/&gt;</span><br></div><span class="oper">&lt;/</span><span class="elem">xs:complexType</span><span class="oper">&gt;</span><br></div></pre></dd></dl><hr><table cellpadding="3" cellspacing="0" border="0" width="100%"><tr><td class="NavBarCell1" width="70%" colspan="2"><table cellspacing="3" cellpadding="0" border="0"><tr valign="top" align="center"><td bgcolor="#EEEEFF" class="NavBarCell1"><a href="../../schema-summary.html"><font class="NavBarFont1"><b>Overview</b></font></a>&nbsp;</td><td bgcolor="#EEEEFF" class="NavBarCell1"><a href="../index.html"><font class="NavBarFont1"><b>Namespace</b></font></a>&nbsp;</td><td class="NavBarCell1Rev" bgcolor="#EE
 EEFF"><font class="NavBarFont1Rev"><b>Component</b></font>&nbsp;</td><td bgcolor="#EEEEFF!
 " class="NavBarCell1"><a href="../../help-doc.html"><font class="NavBa
rFont1"><b>Help</b></font></a>&nbsp;</td></tr></table></td><td rowspan="3" valign="top" align="right"><em><b>XML Schema for a Equational-Logic RuleML sublanguage</b></em></td></tr><tr><td class="NavBarCell2"><font size="-2">DETAILS:&nbsp;<a href="#documentation"><b>DOCUMENTATION</b></a>&nbsp;|&nbsp;<a href="#elements"><b>NESTED</b></a>&nbsp;|&nbsp;<a href="#attributes"><b>ATTRIBUTES</b></a>&nbsp;|&nbsp;<a href="#source"><b>SOURCE</b></a></font></td><td class="NavBarCell2"><font size="-2"><a target="_top" href="../../index.html"><b>FRAMES</b></a>&nbsp;|&nbsp;<a target="_top" href="#"><b>NO&nbsp;FRAMES</b></a></font></td></tr></table><hr><font size="-1">Submit a <a target="_blank" href="http://sourceforge.net/tracker/?atid=454391&group_id=48863&func=browse">bug</a> or a <a target="_blank" href="http://sourceforge.net/tracker/?atid=454394&group_id=48863&func=browse">feature</a>.<br>Created 
 by <a href="http://xframe.sourceforge.net/xsddoc.html" target="_blank">xsddoc</a>, a sub !
 project of <a target="_blank" href="http://xframe.sourceforge.net">xframe</a>, hosted at <a target="_blank" href="http://www.sourceforge.net">http://www.sourceforge.net</a>.</font></body></html>
--- NEW FILE: or.type.html ---
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd">
<html><!-- This file is automaticaly generated by xframe - xsddoc--><!-- hosted at http://xframe.sourceforge.net --><!-- Please do not modify. --><head><META http-equiv="Content-Type" content="text/html; charset=ISO-8859-1"><title>http://www.ruleml.org/0.86/xsd</title><meta content="text/html; charset=ISO-8859-1" http-equiv="Content-Type"><link title="Style" href="../../stylesheet.css" type="text/css" rel="stylesheet"></head><body><table cellpadding="3" cellspacing="0" border="0" width="100%"><tr><td class="NavBarCell1" width="70%" colspan="2"><table cellspacing="3" cellpadding="0" border="0"><tr valign="top" align="center"><td bgcolor="#EEEEFF" class="NavBarCell1"><a href="../../schema-summary.html"><font class="NavBarFont1"><b>Overview</b></font></a>&nbsp;</td><td bgcolor="#EEEEFF" class="NavBarCell1"><a href="../index.html"><font class="NavBarFont1"><b>Namespace</b></font></a>&nbsp;</
 td><td class="NavBarCell1Rev" bgcolor="#EEEEFF"><font class="NavBarFont1Rev"><b>Component!
 </b></font>&nbsp;</td><td bgcolor="#EEEEFF" class="NavBarCell1"><a href="../../help-doc.html"><font class="NavBarFont1"><b>Help</b></font></a>&nbsp;</td></tr></table></td><td rowspan="3" valign="top" align="right"><em><b>XML Schema for a Equational-Logic RuleML sublanguage</b></em></td></tr><tr><td class="NavBarCell2"><font size="-2">DETAILS:&nbsp;<a href="#documentation"><b>DOCUMENTATION</b></a>&nbsp;|&nbsp;<a href="#elements"><b>NESTED</b></a>&nbsp;|&nbsp;<a href="#attributes"><b>ATTRIBUTES</b></a>&nbsp;|&nbsp;<a href="#source"><b>SOURCE</b></a></font></td><td class="NavBarCell2"><font size="-2"><a target="_top" href="../../index.html"><b>FRAMES</b></a>&nbsp;|&nbsp;<a target="_top" href="#"><b>NO&nbsp;FRAMES</b></a></font></td></tr></table><hr><h2><span class="smal">http://www.ruleml.org/0.86/xsd</span><br>complexType or.type</h2><dl><dt>Super Types</dt></dl><pre>{http://www.w3.org/20
 01/XMLSchema}anyType<br>  |<br>  +--<b>{http://www.ruleml.org/0.86/xsd}or.type</b> (restr!
 iction)<br></pre><hr><dl><dt>Model</dt><dd><tt>&lt;...&gt;<br>  ((<a h
ref="../../http___www.ruleml.org_0.86_xsd/element/atom.html">atom</a> | <a href="../../http___www.ruleml.org_0.86_xsd/element/and.html">and</a>)  | <a href="../../http___www.ruleml.org_0.86_xsd/element/eq.html">eq</a>)* <br>&lt;/...&gt;</tt></dd></dl><hr><br><a name="elements"></a><table width="100%" cellspacing="0" cellpadding="3" border="1"><tr class="TableHeadingColor" bgcolor="#CCCCFF"><td colspan="2"><font size="+2"><b>Nested Element Summary</b></font></td></tr><tr class="TableRowColor" bgcolor="white"><td width="1" valign="top" align="right"><font size="-1"><code>&nbsp;</code></font></td><td><code><a href="../../http___www.ruleml.org_0.86_xsd/element/and.html">and</a></code><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</td></tr><tr class="TableRowColor" bgcolor="white"><td width="1" valign="top" align="right"><font size="-1"><code>&nbsp;</code></font></td><td><co
 de><a href="../../http___www.ruleml.org_0.86_xsd/element/atom.html">atom</a></code><br>&n!
 bsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</td></tr><tr class="TableRowColor" bgcolor="white"><td width="1" valign="top" align="right"><font size="-1"><code>&nbsp;</code></font></td><td><code><a href="../../http___www.ruleml.org_0.86_xsd/element/eq.html">eq</a></code><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</td></tr></table><a name="source"></a><dl><dt>Source</dt><dd><pre xmlns:doc="http://xframe.sf.net/xsddoc/doc" xmlns:net.sf.xframe.xsddoc="http://xframe.sf.net/xsddoc/doc" xmlns:xs="http://www.w3.org/2001/XMLSchema"><div class="code"><span class="oper">&lt;</span><span class="elem">xs:complexType</span> <span class="attr">name</span><span class="oper">="</span><span class="cont">or.type</span><span class="oper">"</span><span class="oper">&gt;</span><br><div class="code">  <span class="oper">&lt;</span><span class="elem">xs:group</span> <span cla
 ss="attr">maxOccurs</span><span class="oper">="</span><span class="cont">unbounded</span>!
 <span class="oper">"</span> <span class="attr">minOccurs</span><span c
lass="oper">="</span><span class="cont">0</span><span class="oper">"</span> <span class="attr">ref</span><span class="oper">="</span><a href="../../http___www.ruleml.org_0.86_xsd/group/or.content.html"><span class="cont">or.content</span></a><span class="oper">"</span><span class="oper">/&gt;</span><br></div><div class="code">  <span class="oper">&lt;</span><span class="elem">xs:attributeGroup</span> <span class="attr">ref</span><span class="oper">="</span><a href="../../http___www.ruleml.org_0.86_xsd/attributeGroup/or.attlist.html"><span class="cont">or.attlist</span></a><span class="oper">"</span><span class="oper">/&gt;</span><br></div><span class="oper">&lt;/</span><span class="elem">xs:complexType</span><span class="oper">&gt;</span><br></div></pre></dd></dl><hr><table cellpadding="3" cellspacing="0" border="0" width="100%"><tr><td class="NavBarCell1" width="70%" colspan="2"><table 
 cellspacing="3" cellpadding="0" border="0"><tr valign="top" align="center"><td bgcolor="#!
 EEEEFF" class="NavBarCell1"><a href="../../schema-summary.html"><font class="NavBarFont1"><b>Overview</b></font></a>&nbsp;</td><td bgcolor="#EEEEFF" class="NavBarCell1"><a href="../index.html"><font class="NavBarFont1"><b>Namespace</b></font></a>&nbsp;</td><td class="NavBarCell1Rev" bgcolor="#EEEEFF"><font class="NavBarFont1Rev"><b>Component</b></font>&nbsp;</td><td bgcolor="#EEEEFF" class="NavBarCell1"><a href="../../help-doc.html"><font class="NavBarFont1"><b>Help</b></font></a>&nbsp;</td></tr></table></td><td rowspan="3" valign="top" align="right"><em><b>XML Schema for a Equational-Logic RuleML sublanguage</b></em></td></tr><tr><td class="NavBarCell2"><font size="-2">DETAILS:&nbsp;<a href="#documentation"><b>DOCUMENTATION</b></a>&nbsp;|&nbsp;<a href="#elements"><b>NESTED</b></a>&nbsp;|&nbsp;<a href="#attributes"><b>ATTRIBUTES</b></a>&nbsp;|&nbsp;<a href="#source"><b>SOURCE</b></a></f
 ont></td><td class="NavBarCell2"><font size="-2"><a target="_top" href="../../index.html"!
 ><b>FRAMES</b></a>&nbsp;|&nbsp;<a target="_top" href="#"><b>NO&nbsp;FR
AMES</b></a></font></td></tr></table><hr><font size="-1">Submit a <a target="_blank" href="http://sourceforge.net/tracker/?atid=454391&group_id=48863&func=browse">bug</a> or a <a target="_blank" href="http://sourceforge.net/tracker/?atid=454394&group_id=48863&func=browse">feature</a>.<br>Created by <a href="http://xframe.sourceforge.net/xsddoc.html" target="_blank">xsddoc</a>, a sub project of <a target="_blank" href="http://xframe.sourceforge.net">xframe</a>, hosted at <a target="_blank" href="http://www.sourceforge.net">http://www.sourceforge.net</a>.</font></body></html>
--- NEW FILE: and.type.html ---
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd">
<html><!-- This file is automaticaly generated by xframe - xsddoc--><!-- hosted at http://xframe.sourceforge.net --><!-- Please do not modify. --><head><META http-equiv="Content-Type" content="text/html; charset=ISO-8859-1"><title>http://www.ruleml.org/0.86/xsd</title><meta content="text/html; charset=ISO-8859-1" http-equiv="Content-Type"><link title="Style" href="../../stylesheet.css" type="text/css" rel="stylesheet"></head><body><table cellpadding="3" cellspacing="0" border="0" width="100%"><tr><td class="NavBarCell1" width="70%" colspan="2"><table cellspacing="3" cellpadding="0" border="0"><tr valign="top" align="center"><td bgcolor="#EEEEFF" class="NavBarCell1"><a href="../../schema-summary.html"><font class="NavBarFont1"><b>Overview</b></font></a>&nbsp;</td><td bgcolor="#EEEEFF" class="NavBarCell1"><a href="../index.html"><font class="NavBarFont1"><b>Namespace</b></font></a>&nbsp;</
 td><td class="NavBarCell1Rev" bgcolor="#EEEEFF"><font class="NavBarFont1Rev"><b>Component!
 </b></font>&nbsp;</td><td bgcolor="#EEEEFF" class="NavBarCell1"><a href="../../help-doc.html"><font class="NavBarFont1"><b>Help</b></font></a>&nbsp;</td></tr></table></td><td rowspan="3" valign="top" align="right"><em><b>XML Schema for a Equational-Logic RuleML sublanguage</b></em></td></tr><tr><td class="NavBarCell2"><font size="-2">DETAILS:&nbsp;<a href="#documentation"><b>DOCUMENTATION</b></a>&nbsp;|&nbsp;<a href="#elements"><b>NESTED</b></a>&nbsp;|&nbsp;<a href="#attributes"><b>ATTRIBUTES</b></a>&nbsp;|&nbsp;<a href="#source"><b>SOURCE</b></a></font></td><td class="NavBarCell2"><font size="-2"><a target="_top" href="../../index.html"><b>FRAMES</b></a>&nbsp;|&nbsp;<a target="_top" href="#"><b>NO&nbsp;FRAMES</b></a></font></td></tr></table><hr><h2><span class="smal">http://www.ruleml.org/0.86/xsd</span><br>complexType and.type</h2><dl><dt>Super Types</dt></dl><pre>{http://www.w3.org/2
 001/XMLSchema}anyType<br>  |<br>  +--<b>{http://www.ruleml.org/0.86/xsd}and.type</b> (res!
 triction)<br></pre><hr><dl><dt>Model</dt><dd><tt>&lt;...&gt;<br>  ((<a
 href="../../http___www.ruleml.org_0.86_xsd/element/atom.html">atom</a> | <a href="../../http___www.ruleml.org_0.86_xsd/element/or.html">or</a>)  | <a href="../../http___www.ruleml.org_0.86_xsd/element/eq.html">eq</a>)* <br>&lt;/...&gt;</tt></dd></dl><hr><br><a name="elements"></a><table width="100%" cellspacing="0" cellpadding="3" border="1"><tr class="TableHeadingColor" bgcolor="#CCCCFF"><td colspan="2"><font size="+2"><b>Nested Element Summary</b></font></td></tr><tr class="TableRowColor" bgcolor="white"><td width="1" valign="top" align="right"><font size="-1"><code>&nbsp;</code></font></td><td><code><a href="../../http___www.ruleml.org_0.86_xsd/element/atom.html">atom</a></code><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</td></tr><tr class="TableRowColor" bgcolor="white"><td width="1" valign="top" align="right"><font size="-1"><code>&nbsp;</code></font></td><td><
 code><a href="../../http___www.ruleml.org_0.86_xsd/element/eq.html">eq</a></code><br>&nbs!
 p;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</td></tr><tr class="TableRowColor" bgcolor="white"><td width="1" valign="top" align="right"><font size="-1"><code>&nbsp;</code></font></td><td><code><a href="../../http___www.ruleml.org_0.86_xsd/element/or.html">or</a></code><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</td></tr></table><a name="source"></a><dl><dt>Source</dt><dd><pre xmlns:doc="http://xframe.sf.net/xsddoc/doc" xmlns:net.sf.xframe.xsddoc="http://xframe.sf.net/xsddoc/doc" xmlns:xs="http://www.w3.org/2001/XMLSchema"><div class="code"><span class="oper">&lt;</span><span class="elem">xs:complexType</span> <span class="attr">name</span><span class="oper">="</span><span class="cont">and.type</span><span class="oper">"</span><span class="oper">&gt;</span><br><div class="code">  <span class="oper">&lt;</span><span class="elem">xs:group</span> <span clas
 s="attr">maxOccurs</span><span class="oper">="</span><span class="cont">unbounded</span><!
 span class="oper">"</span> <span class="attr">minOccurs</span><span cl
ass="oper">="</span><span class="cont">0</span><span class="oper">"</span> <span class="attr">ref</span><span class="oper">="</span><a href="../../http___www.ruleml.org_0.86_xsd/group/and.content.html"><span class="cont">and.content</span></a><span class="oper">"</span><span class="oper">/&gt;</span><br></div><div class="code">  <span class="oper">&lt;</span><span class="elem">xs:attributeGroup</span> <span class="attr">ref</span><span class="oper">="</span><a href="../../http___www.ruleml.org_0.86_xsd/attributeGroup/and.attlist.html"><span class="cont">and.attlist</span></a><span class="oper">"</span><span class="oper">/&gt;</span><br></div><span class="oper">&lt;/</span><span class="elem">xs:complexType</span><span class="oper">&gt;</span><br></div></pre></dd></dl><hr><table cellpadding="3" cellspacing="0" border="0" width="100%"><tr><td class="NavBarCell1" width="70%" colspan="2"><tab
 le cellspacing="3" cellpadding="0" border="0"><tr valign="top" align="center"><td bgcolor!
 ="#EEEEFF" class="NavBarCell1"><a href="../../schema-summary.html"><font class="NavBarFont1"><b>Overview</b></font></a>&nbsp;</td><td bgcolor="#EEEEFF" class="NavBarCell1"><a href="../index.html"><font class="NavBarFont1"><b>Namespace</b></font></a>&nbsp;</td><td class="NavBarCell1Rev" bgcolor="#EEEEFF"><font class="NavBarFont1Rev"><b>Component</b></font>&nbsp;</td><td bgcolor="#EEEEFF" class="NavBarCell1"><a href="../../help-doc.html"><font class="NavBarFont1"><b>Help</b></font></a>&nbsp;</td></tr></table></td><td rowspan="3" valign="top" align="right"><em><b>XML Schema for a Equational-Logic RuleML sublanguage</b></em></td></tr><tr><td class="NavBarCell2"><font size="-2">DETAILS:&nbsp;<a href="#documentation"><b>DOCUMENTATION</b></a>&nbsp;|&nbsp;<a href="#elements"><b>NESTED</b></a>&nbsp;|&nbsp;<a href="#attributes"><b>ATTRIBUTES</b></a>&nbsp;|&nbsp;<a href="#source"><b>SOURCE</b></a>
 </font></td><td class="NavBarCell2"><font size="-2"><a target="_top" href="../../index.ht!
 ml"><b>FRAMES</b></a>&nbsp;|&nbsp;<a target="_top" href="#"><b>NO&nbsp
;FRAMES</b></a></font></td></tr></table><hr><font size="-1">Submit a <a target="_blank" href="http://sourceforge.net/tracker/?atid=454391&group_id=48863&func=browse">bug</a> or a <a target="_blank" href="http://sourceforge.net/tracker/?atid=454394&group_id=48863&func=browse">feature</a>.<br>Created by <a href="http://xframe.sourceforge.net/xsddoc.html" target="_blank">xsddoc</a>, a sub project of <a target="_blank" href="http://xframe.sourceforge.net">xframe</a>, hosted at <a target="_blank" href="http://www.sourceforge.net">http://www.sourceforge.net</a>.</font></body></html>
--- NEW FILE: fact.type.html ---
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd">
<html><!-- This file is automaticaly generated by xframe - xsddoc--><!-- hosted at http://xframe.sourceforge.net --><!-- Please do not modify. --><head><META http-equiv="Content-Type" content="text/html; charset=ISO-8859-1"><title>http://www.ruleml.org/0.86/xsd</title><meta content="text/html; charset=ISO-8859-1" http-equiv="Content-Type"><link title="Style" href="../../stylesheet.css" type="text/css" rel="stylesheet"></head><body><table cellpadding="3" cellspacing="0" border="0" width="100%"><tr><td class="NavBarCell1" width="70%" colspan="2"><table cellspacing="3" cellpadding="0" border="0"><tr valign="top" align="center"><td bgcolor="#EEEEFF" class="NavBarCell1"><a href="../../schema-summary.html"><font class="NavBarFont1"><b>Overview</b></font></a>&nbsp;</td><td bgcolor="#EEEEFF" class="NavBarCell1"><a href="../index.html"><font class="NavBarFont1"><b>Namespace</b></font></a>&nbsp;</
 td><td class="NavBarCell1Rev" bgcolor="#EEEEFF"><font class="NavBarFont1Rev"><b>Component!
 </b></font>&nbsp;</td><td bgcolor="#EEEEFF" class="NavBarCell1"><a href="../../help-doc.html"><font class="NavBarFont1"><b>Help</b></font></a>&nbsp;</td></tr></table></td><td rowspan="3" valign="top" align="right"><em><b>XML Schema for a Equational-Logic RuleML sublanguage</b></em></td></tr><tr><td class="NavBarCell2"><font size="-2">DETAILS:&nbsp;<a href="#documentation"><b>DOCUMENTATION</b></a>&nbsp;|&nbsp;<a href="#elements"><b>NESTED</b></a>&nbsp;|&nbsp;<a href="#attributes"><b>ATTRIBUTES</b></a>&nbsp;|&nbsp;<a href="#source"><b>SOURCE</b></a></font></td><td class="NavBarCell2"><font size="-2"><a target="_top" href="../../index.html"><b>FRAMES</b></a>&nbsp;|&nbsp;<a target="_top" href="#"><b>NO&nbsp;FRAMES</b></a></font></td></tr></table><hr><h2><span class="smal">http://www.ruleml.org/0.86/xsd</span><br>complexType fact.type</h2><dl><dt>Super Types</dt></dl><pre>{http://www.w3.org/
 2001/XMLSchema}anyType<br>  |<br>  +--<b>{http://www.ruleml.org/0.86/xsd}fact.type</b> (r!
 estriction)<br></pre><hr><dl><dt>Model</dt><dd><tt>&lt;...&gt;<br>  ((
<a href="../../http___www.ruleml.org_0.86_xsd/element/_rlab.html">_rlab</a>, <a href="../../http___www.ruleml.org_0.86_xsd/element/_head.html">_head</a>) | (<a href="../../http___www.ruleml.org_0.86_xsd/element/_head.html">_head</a>, <a href="../../http___www.ruleml.org_0.86_xsd/element/_rlab.html">_rlab</a>?)) <br>&lt;/...&gt;</tt></dd></dl><hr><br><a name="elements"></a><table width="100%" cellspacing="0" cellpadding="3" border="1"><tr class="TableHeadingColor" bgcolor="#CCCCFF"><td colspan="2"><font size="+2"><b>Nested Element Summary</b></font></td></tr><tr class="TableRowColor" bgcolor="white"><td width="1" valign="top" align="right"><font size="-1"><code>&nbsp;</code></font></td><td><code><a href="../../http___www.ruleml.org_0.86_xsd/element/_head.html">_head</a></code><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</td></tr><tr class="TableRowColor" bgcolor="white
 "><td width="1" valign="top" align="right"><font size="-1"><code>&nbsp;</code></font></td!
 ><td><code><a href="../../http___www.ruleml.org_0.86_xsd/element/_head.html">_head</a></code><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</td></tr><tr class="TableRowColor" bgcolor="white"><td width="1" valign="top" align="right"><font size="-1"><code>&nbsp;</code></font></td><td><code><a href="../../http___www.ruleml.org_0.86_xsd/element/_rlab.html">_rlab</a></code><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</td></tr><tr class="TableRowColor" bgcolor="white"><td width="1" valign="top" align="right"><font size="-1"><code>&nbsp;</code></font></td><td><code><a href="../../http___www.ruleml.org_0.86_xsd/element/_rlab.html">_rlab</a></code><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</td></tr></table><a name="source"></a><dl><dt>Source</dt><dd><pre xmlns:doc="http://xframe.sf.net/xsddoc/doc" xmlns:net.sf.xframe.xsddoc="http://xfra
 me.sf.net/xsddoc/doc" xmlns:xs="http://www.w3.org/2001/XMLSchema"><div class="code"><span!
  class="oper">&lt;</span><span class="elem">xs:complexType</span> <spa
n class="attr">name</span><span class="oper">="</span><span class="cont">fact.type</span><span class="oper">"</span><span class="oper">&gt;</span><br><div class="code">  <span class="oper">&lt;</span><span class="elem">xs:group</span> <span class="attr">ref</span><span class="oper">="</span><a href="../../http___www.ruleml.org_0.86_xsd/group/fact.content.html"><span class="cont">fact.content</span></a><span class="oper">"</span><span class="oper">/&gt;</span><br></div><div class="code">  <span class="oper">&lt;</span><span class="elem">xs:attributeGroup</span> <span class="attr">ref</span><span class="oper">="</span><a href="../../http___www.ruleml.org_0.86_xsd/attributeGroup/fact.attlist.html"><span class="cont">fact.attlist</span></a><span class="oper">"</span><span class="oper">/&gt;</span><br></div><span class="oper">&lt;/</span><span class="elem">xs:complexType</span><span class="op
 er">&gt;</span><br></div></pre></dd></dl><hr><table cellpadding="3" cellspacing="0" borde!
 r="0" width="100%"><tr><td class="NavBarCell1" width="70%" colspan="2"><table cellspacing="3" cellpadding="0" border="0"><tr valign="top" align="center"><td bgcolor="#EEEEFF" class="NavBarCell1"><a href="../../schema-summary.html"><font class="NavBarFont1"><b>Overview</b></font></a>&nbsp;</td><td bgcolor="#EEEEFF" class="NavBarCell1"><a href="../index.html"><font class="NavBarFont1"><b>Namespace</b></font></a>&nbsp;</td><td class="NavBarCell1Rev" bgcolor="#EEEEFF"><font class="NavBarFont1Rev"><b>Component</b></font>&nbsp;</td><td bgcolor="#EEEEFF" class="NavBarCell1"><a href="../../help-doc.html"><font class="NavBarFont1"><b>Help</b></font></a>&nbsp;</td></tr></table></td><td rowspan="3" valign="top" align="right"><em><b>XML Schema for a Equational-Logic RuleML sublanguage</b></em></td></tr><tr><td class="NavBarCell2"><font size="-2">DETAILS:&nbsp;<a href="#documentation"><b>DOCUMENTATI
 ON</b></a>&nbsp;|&nbsp;<a href="#elements"><b>NESTED</b></a>&nbsp;|&nbsp;<a href="#attrib!
 utes"><b>ATTRIBUTES</b></a>&nbsp;|&nbsp;<a href="#source"><b>SOURCE</b
></a></font></td><td class="NavBarCell2"><font size="-2"><a target="_top" href="../../index.html"><b>FRAMES</b></a>&nbsp;|&nbsp;<a target="_top" href="#"><b>NO&nbsp;FRAMES</b></a></font></td></tr></table><hr><font size="-1">Submit a <a target="_blank" href="http://sourceforge.net/tracker/?atid=454391&group_id=48863&func=browse">bug</a> or a <a target="_blank" href="http://sourceforge.net/tracker/?atid=454394&group_id=48863&func=browse">feature</a>.<br>Created by <a href="http://xframe.sourceforge.net/xsddoc.html" target="_blank">xsddoc</a>, a sub project of <a target="_blank" href="http://xframe.sourceforge.net">xframe</a>, hosted at <a target="_blank" href="http://www.sourceforge.net">http://www.sourceforge.net</a>.</font></body></html>
--- NEW FILE: _rbaselab.type.html ---
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd">
<html><!-- This file is automaticaly generated by xframe - xsddoc--><!-- hosted at http://xframe.sourceforge.net --><!-- Please do not modify. --><head><META http-equiv="Content-Type" content="text/html; charset=ISO-8859-1"><title>http://www.ruleml.org/0.86/xsd</title><meta content="text/html; charset=ISO-8859-1" http-equiv="Content-Type"><link title="Style" href="../../stylesheet.css" type="text/css" rel="stylesheet"></head><body><table cellpadding="3" cellspacing="0" border="0" width="100%"><tr><td class="NavBarCell1" width="70%" colspan="2"><table cellspacing="3" cellpadding="0" border="0"><tr valign="top" align="center"><td bgcolor="#EEEEFF" class="NavBarCell1"><a href="../../schema-summary.html"><font class="NavBarFont1"><b>Overview</b></font></a>&nbsp;</td><td bgcolor="#EEEEFF" class="NavBarCell1"><a href="../index.html"><font class="NavBarFont1"><b>Namespace</b></font></a>&nbsp;</
 td><td class="NavBarCell1Rev" bgcolor="#EEEEFF"><font class="NavBarFont1Rev"><b>Component!
 </b></font>&nbsp;</td><td bgcolor="#EEEEFF" class="NavBarCell1"><a href="../../help-doc.html"><font class="NavBarFont1"><b>Help</b></font></a>&nbsp;</td></tr></table></td><td rowspan="3" valign="top" align="right"><em><b>XML Schema for a Equational-Logic RuleML sublanguage</b></em></td></tr><tr><td class="NavBarCell2"><font size="-2">DETAILS:&nbsp;<a href="#documentation"><b>DOCUMENTATION</b></a>&nbsp;|&nbsp;<a href="#elements"><b>NESTED</b></a>&nbsp;|&nbsp;<a href="#attributes"><b>ATTRIBUTES</b></a>&nbsp;|&nbsp;<a href="#source"><b>SOURCE</b></a></font></td><td class="NavBarCell2"><font size="-2"><a target="_top" href="../../index.html"><b>FRAMES</b></a>&nbsp;|&nbsp;<a target="_top" href="#"><b>NO&nbsp;FRAMES</b></a></font></td></tr></table><hr><h2><span class="smal">http://www.ruleml.org/0.86/xsd</span><br>complexType _rbaselab.type</h2><dl><dt>Super Types</dt></dl><pre>{http://www.w3
 .org/2001/XMLSchema}anyType<br>  |<br>  +--<b>{http://www.ruleml.org/0.86/xsd}_rbaselab.t!
 ype</b> (restriction)<br></pre><hr><dl><dt>Model</dt><dd><tt>&lt;...&g
t;<br>  (<a href="../../http___www.ruleml.org_0.86_xsd/element/ind.html">ind</a>  | <a href="../../http___www.ruleml.org_0.86_xsd/element/cterm.html">cterm</a>) <br>&lt;/...&gt;</tt></dd></dl><hr><br><a name="elements"></a><table width="100%" cellspacing="0" cellpadding="3" border="1"><tr class="TableHeadingColor" bgcolor="#CCCCFF"><td colspan="2"><font size="+2"><b>Nested Element Summary</b></font></td></tr><tr class="TableRowColor" bgcolor="white"><td width="1" valign="top" align="right"><font size="-1"><code>&nbsp;</code></font></td><td><code><a href="../../http___www.ruleml.org_0.86_xsd/element/cterm.html">cterm</a></code><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</td></tr><tr class="TableRowColor" bgcolor="white"><td width="1" valign="top" align="right"><font size="-1"><code>&nbsp;</code></font></td><td><code><a href="../../http___www.ruleml.org_0.86_xsd/elemen
 t/ind.html">ind</a></code><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp!
 ;</td></tr></table><a name="source"></a><dl><dt>Source</dt><dd><pre xmlns:doc="http://xframe.sf.net/xsddoc/doc" xmlns:net.sf.xframe.xsddoc="http://xframe.sf.net/xsddoc/doc" xmlns:xs="http://www.w3.org/2001/XMLSchema"><div class="code"><span class="oper">&lt;</span><span class="elem">xs:complexType</span> <span class="attr">name</span><span class="oper">="</span><span class="cont">_rbaselab.type</span><span class="oper">"</span><span class="oper">&gt;</span><br><div class="code">  <span class="oper">&lt;</span><span class="elem">xs:group</span> <span class="attr">ref</span><span class="oper">="</span><a href="../../http___www.ruleml.org_0.86_xsd/group/_rbaselab.content.html"><span class="cont">_rbaselab.content</span></a><span class="oper">"</span><span class="oper">/&gt;</span><br></div><div class="code">  <span class="oper">&lt;</span><span class="elem">xs:attributeGroup</span> <span c
 lass="attr">ref</span><span class="oper">="</span><a href="../../http___www.ruleml.org_0.!
 86_xsd/attributeGroup/_rbaselab.attlist.html"><span class="cont">_rbas
elab.attlist</span></a><span class="oper">"</span><span class="oper">/&gt;</span><br></div><span class="oper">&lt;/</span><span class="elem">xs:complexType</span><span class="oper">&gt;</span><br></div></pre></dd></dl><hr><table cellpadding="3" cellspacing="0" border="0" width="100%"><tr><td class="NavBarCell1" width="70%" colspan="2"><table cellspacing="3" cellpadding="0" border="0"><tr valign="top" align="center"><td bgcolor="#EEEEFF" class="NavBarCell1"><a href="../../schema-summary.html"><font class="NavBarFont1"><b>Overview</b></font></a>&nbsp;</td><td bgcolor="#EEEEFF" class="NavBarCell1"><a href="../index.html"><font class="NavBarFont1"><b>Namespace</b></font></a>&nbsp;</td><td class="NavBarCell1Rev" bgcolor="#EEEEFF"><font class="NavBarFont1Rev"><b>Component</b></font>&nbsp;</td><td bgcolor="#EEEEFF" class="NavBarCell1"><a href="../../help-doc.html"><font class="NavBarFont1"><b>H
 elp</b></font></a>&nbsp;</td></tr></table></td><td rowspan="3" valign="top" align="right"!
 ><em><b>XML Schema for a Equational-Logic RuleML sublanguage</b></em></td></tr><tr><td class="NavBarCell2"><font size="-2">DETAILS:&nbsp;<a href="#documentation"><b>DOCUMENTATION</b></a>&nbsp;|&nbsp;<a href="#elements"><b>NESTED</b></a>&nbsp;|&nbsp;<a href="#attributes"><b>ATTRIBUTES</b></a>&nbsp;|&nbsp;<a href="#source"><b>SOURCE</b></a></font></td><td class="NavBarCell2"><font size="-2"><a target="_top" href="../../index.html"><b>FRAMES</b></a>&nbsp;|&nbsp;<a target="_top" href="#"><b>NO&nbsp;FRAMES</b></a></font></td></tr></table><hr><font size="-1">Submit a <a target="_blank" href="http://sourceforge.net/tracker/?atid=454391&group_id=48863&func=browse">bug</a> or a <a target="_blank" href="http://sourceforge.net/tracker/?atid=454394&group_id=48863&func=browse">feature</a>.<br>Created by <a href="http://xframe.sourceforge.net/xsddoc.html" target="_blank">xsddoc</a>, a sub project of 
 <a target="_blank" href="http://xframe.sourceforge.net">xframe</a>, hosted at <a target="!
 _blank" href="http://www.sourceforge.net">http://www.sourceforge.net</
a>.</font></body></html>
--- NEW FILE: _opr.type.html ---
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd">
<html><!-- This file is automaticaly generated by xframe - xsddoc--><!-- hosted at http://xframe.sourceforge.net --><!-- Please do not modify. --><head><META http-equiv="Content-Type" content="text/html; charset=ISO-8859-1"><title>http://www.ruleml.org/0.86/xsd</title><meta content="text/html; charset=ISO-8859-1" http-equiv="Content-Type"><link title="Style" href="../../stylesheet.css" type="text/css" rel="stylesheet"></head><body><table cellpadding="3" cellspacing="0" border="0" width="100%"><tr><td class="NavBarCell1" width="70%" colspan="2"><table cellspacing="3" cellpadding="0" border="0"><tr valign="top" align="center"><td bgcolor="#EEEEFF" class="NavBarCell1"><a href="../../schema-summary.html"><font class="NavBarFont1"><b>Overview</b></font></a>&nbsp;</td><td bgcolor="#EEEEFF" class="NavBarCell1"><a href="../index.html"><font class="NavBarFont1"><b>Namespace</b></font></a>&nbsp;</
 td><td class="NavBarCell1Rev" bgcolor="#EEEEFF"><font class="NavBarFont1Rev"><b>Component!
 </b></font>&nbsp;</td><td bgcolor="#EEEEFF" class="NavBarCell1"><a href="../../help-doc.html"><font class="NavBarFont1"><b>Help</b></font></a>&nbsp;</td></tr></table></td><td rowspan="3" valign="top" align="right"><em><b>XML Schema for a Equational-Logic RuleML sublanguage</b></em></td></tr><tr><td class="NavBarCell2"><font size="-2">DETAILS:&nbsp;<a href="#documentation"><b>DOCUMENTATION</b></a>&nbsp;|&nbsp;<a href="#elements"><b>NESTED</b></a>&nbsp;|&nbsp;<a href="#attributes"><b>ATTRIBUTES</b></a>&nbsp;|&nbsp;<a href="#source"><b>SOURCE</b></a></font></td><td class="NavBarCell2"><font size="-2"><a target="_top" href="../../index.html"><b>FRAMES</b></a>&nbsp;|&nbsp;<a target="_top" href="#"><b>NO&nbsp;FRAMES</b></a></font></td></tr></table><hr><h2><span class="smal">http://www.ruleml.org/0.86/xsd</span><br>complexType _opr.type</h2><dl><dt>Super Types</dt></dl><pre>{http://www.w3.org/
 2001/XMLSchema}anyType<br>  |<br>  +--<b>{http://www.ruleml.org/0.86/xsd}_opr.type</b> (r!
 estriction)<br></pre><hr><dl><dt>Model</dt><dd><tt>&lt;...&gt;<br>  <a
 href="../../http___www.ruleml.org_0.86_xsd/element/rel.html">rel</a>  <br>&lt;/...&gt;</tt></dd></dl><hr><br><a name="elements"></a><table width="100%" cellspacing="0" cellpadding="3" border="1"><tr class="TableHeadingColor" bgcolor="#CCCCFF"><td colspan="2"><font size="+2"><b>Nested Element Summary</b></font></td></tr><tr class="TableRowColor" bgcolor="white"><td width="1" valign="top" align="right"><font size="-1"><code>&nbsp;</code></font></td><td><code><a href="../../http___www.ruleml.org_0.86_xsd/element/rel.html">rel</a></code><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</td></tr></table><a name="source"></a><dl><dt>Source</dt><dd><pre xmlns:doc="http://xframe.sf.net/xsddoc/doc" xmlns:net.sf.xframe.xsddoc="http://xframe.sf.net/xsddoc/doc" xmlns:xs="http://www.w3.org/2001/XMLSchema"><div class="code"><span class="oper">&lt;</span><span class="elem">xs:complexTyp
 e</span> <span class="attr">name</span><span class="oper">="</span><span class="cont">_op!
 r.type</span><span class="oper">"</span><span class="oper">&gt;</span><br><div class="code">  <span class="oper">&lt;</span><span class="elem">xs:group</span> <span class="attr">ref</span><span class="oper">="</span><a href="../../http___www.ruleml.org_0.86_xsd/group/_opr.content.html"><span class="cont">_opr.content</span></a><span class="oper">"</span><span class="oper">/&gt;</span><br></div><div class="code">  <span class="oper">&lt;</span><span class="elem">xs:attributeGroup</span> <span class="attr">ref</span><span class="oper">="</span><a href="../../http___www.ruleml.org_0.86_xsd/attributeGroup/_opr.attlist.html"><span class="cont">_opr.attlist</span></a><span class="oper">"</span><span class="oper">/&gt;</span><br></div><span class="oper">&lt;/</span><span class="elem">xs:complexType</span><span class="oper">&gt;</span><br></div></pre></dd></dl><hr><table cellpadding="3" cellspa
 cing="0" border="0" width="100%"><tr><td class="NavBarCell1" width="70%" colspan="2"><tab!
 le cellspacing="3" cellpadding="0" border="0"><tr valign="top" align="
center"><td bgcolor="#EEEEFF" class="NavBarCell1"><a href="../../schema-summary.html"><font class="NavBarFont1"><b>Overview</b></font></a>&nbsp;</td><td bgcolor="#EEEEFF" class="NavBarCell1"><a href="../index.html"><font class="NavBarFont1"><b>Namespace</b></font></a>&nbsp;</td><td class="NavBarCell1Rev" bgcolor="#EEEEFF"><font class="NavBarFont1Rev"><b>Component</b></font>&nbsp;</td><td bgcolor="#EEEEFF" class="NavBarCell1"><a href="../../help-doc.html"><font class="NavBarFont1"><b>Help</b></font></a>&nbsp;</td></tr></table></td><td rowspan="3" valign="top" align="right"><em><b>XML Schema for a Equational-Logic RuleML sublanguage</b></em></td></tr><tr><td class="NavBarCell2"><font size="-2">DETAILS:&nbsp;<a href="#documentation"><b>DOCUMENTATION</b></a>&nbsp;|&nbsp;<a href="#elements"><b>NESTED</b></a>&nbsp;|&nbsp;<a href="#attributes"><b>ATTRIBUTES</b></a>&nbsp;|&nbsp;<a href="#source"
 ><b>SOURCE</b></a></font></td><td class="NavBarCell2"><font size="-2"><a target="_top" hr!
 ef="../../index.html"><b>FRAMES</b></a>&nbsp;|&nbsp;<a target="_top" href="#"><b>NO&nbsp;FRAMES</b></a></font></td></tr></table><hr><font size="-1">Submit a <a target="_blank" href="http://sourceforge.net/tracker/?atid=454391&group_id=48863&func=browse">bug</a> or a <a target="_blank" href="http://sourceforge.net/tracker/?atid=454394&group_id=48863&func=browse">feature</a>.<br>Created by <a href="http://xframe.sourceforge.net/xsddoc.html" target="_blank">xsddoc</a>, a sub project of <a target="_blank" href="http://xframe.sourceforge.net">xframe</a>, hosted at <a target="_blank" href="http://www.sourceforge.net">http://www.sourceforge.net</a>.</font></body></html>
--- NEW FILE: _rlab.type.html ---
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd">
<html><!-- This file is automaticaly generated by xframe - xsddoc--><!-- hosted at http://xframe.sourceforge.net --><!-- Please do not modify. --><head><META http-equiv="Content-Type" content="text/html; charset=ISO-8859-1"><title>http://www.ruleml.org/0.86/xsd</title><meta content="text/html; charset=ISO-8859-1" http-equiv="Content-Type"><link title="Style" href="../../stylesheet.css" type="text/css" rel="stylesheet"></head><body><table cellpadding="3" cellspacing="0" border="0" width="100%"><tr><td class="NavBarCell1" width="70%" colspan="2"><table cellspacing="3" cellpadding="0" border="0"><tr valign="top" align="center"><td bgcolor="#EEEEFF" class="NavBarCell1"><a href="../../schema-summary.html"><font class="NavBarFont1"><b>Overview</b></font></a>&nbsp;</td><td bgcolor="#EEEEFF" class="NavBarCell1"><a href="../index.html"><font class="NavBarFont1"><b>Namespace</b></font></a>&nbsp;</
 td><td class="NavBarCell1Rev" bgcolor="#EEEEFF"><font class="NavBarFont1Rev"><b>Component!
 </b></font>&nbsp;</td><td bgcolor="#EEEEFF" class="NavBarCell1"><a href="../../help-doc.html"><font class="NavBarFont1"><b>Help</b></font></a>&nbsp;</td></tr></table></td><td rowspan="3" valign="top" align="right"><em><b>XML Schema for a Equational-Logic RuleML sublanguage</b></em></td></tr><tr><td class="NavBarCell2"><font size="-2">DETAILS:&nbsp;<a href="#documentation"><b>DOCUMENTATION</b></a>&nbsp;|&nbsp;<a href="#elements"><b>NESTED</b></a>&nbsp;|&nbsp;<a href="#attributes"><b>ATTRIBUTES</b></a>&nbsp;|&nbsp;<a href="#source"><b>SOURCE</b></a></font></td><td class="NavBarCell2"><font size="-2"><a target="_top" href="../../index.html"><b>FRAMES</b></a>&nbsp;|&nbsp;<a target="_top" href="#"><b>NO&nbsp;FRAMES</b></a></font></td></tr></table><hr><h2><span class="smal">http://www.ruleml.org/0.86/xsd</span><br>complexType _rlab.type</h2><dl><dt>Super Types</dt></dl><pre>{http://www.w3.org
 /2001/XMLSchema}anyType<br>  |<br>  +--<b>{http://www.ruleml.org/0.86/xsd}_rlab.type</b> !
 (restriction)<br></pre><hr><dl><dt>Model</dt><dd><tt>&lt;...&gt;<br>  
(<a href="../../http___www.ruleml.org_0.86_xsd/element/ind.html">ind</a>  | <a href="../../http___www.ruleml.org_0.86_xsd/element/cterm.html">cterm</a>) <br>&lt;/...&gt;</tt></dd></dl><hr><br><a name="elements"></a><table width="100%" cellspacing="0" cellpadding="3" border="1"><tr class="TableHeadingColor" bgcolor="#CCCCFF"><td colspan="2"><font size="+2"><b>Nested Element Summary</b></font></td></tr><tr class="TableRowColor" bgcolor="white"><td width="1" valign="top" align="right"><font size="-1"><code>&nbsp;</code></font></td><td><code><a href="../../http___www.ruleml.org_0.86_xsd/element/cterm.html">cterm</a></code><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</td></tr><tr class="TableRowColor" bgcolor="white"><td width="1" valign="top" align="right"><font size="-1"><code>&nbsp;</code></font></td><td><code><a href="../../http___www.ruleml.org_0.86_xsd/element/ind.ht
 ml">ind</a></code><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</td></!
 tr></table><a name="source"></a><dl><dt>Source</dt><dd><pre xmlns:doc="http://xframe.sf.net/xsddoc/doc" xmlns:net.sf.xframe.xsddoc="http://xframe.sf.net/xsddoc/doc" xmlns:xs="http://www.w3.org/2001/XMLSchema"><div class="code"><span class="oper">&lt;</span><span class="elem">xs:complexType</span> <span class="attr">name</span><span class="oper">="</span><span class="cont">_rlab.type</span><span class="oper">"</span><span class="oper">&gt;</span><br><div class="code">  <span class="oper">&lt;</span><span class="elem">xs:group</span> <span class="attr">ref</span><span class="oper">="</span><a href="../../http___www.ruleml.org_0.86_xsd/group/_rlab.content.html"><span class="cont">_rlab.content</span></a><span class="oper">"</span><span class="oper">/&gt;</span><br></div><div class="code">  <span class="oper">&lt;</span><span class="elem">xs:attributeGroup</span> <span class="attr">ref</spa
 n><span class="oper">="</span><a href="../../http___www.ruleml.org_0.86_xsd/attributeGrou!
 p/_rlab.attlist.html"><span class="cont">_rlab.attlist</span></a><span
 class="oper">"</span><span class="oper">/&gt;</span><br></div><span class="oper">&lt;/</span><span class="elem">xs:complexType</span><span class="oper">&gt;</span><br></div></pre></dd></dl><hr><table cellpadding="3" cellspacing="0" border="0" width="100%"><tr><td class="NavBarCell1" width="70%" colspan="2"><table cellspacing="3" cellpadding="0" border="0"><tr valign="top" align="center"><td bgcolor="#EEEEFF" class="NavBarCell1"><a href="../../schema-summary.html"><font class="NavBarFont1"><b>Overview</b></font></a>&nbsp;</td><td bgcolor="#EEEEFF" class="NavBarCell1"><a href="../index.html"><font class="NavBarFont1"><b>Namespace</b></font></a>&nbsp;</td><td class="NavBarCell1Rev" bgcolor="#EEEEFF"><font class="NavBarFont1Rev"><b>Component</b></font>&nbsp;</td><td bgcolor="#EEEEFF" class="NavBarCell1"><a href="../../help-doc.html"><font class="NavBarFont1"><b>Help</b></font></a>&nbsp;</td
 ></tr></table></td><td rowspan="3" valign="top" align="right"><em><b>XML Schema for a Equ!
 ational-Logic RuleML sublanguage</b></em></td></tr><tr><td class="NavBarCell2"><font size="-2">DETAILS:&nbsp;<a href="#documentation"><b>DOCUMENTATION</b></a>&nbsp;|&nbsp;<a href="#elements"><b>NESTED</b></a>&nbsp;|&nbsp;<a href="#attributes"><b>ATTRIBUTES</b></a>&nbsp;|&nbsp;<a href="#source"><b>SOURCE</b></a></font></td><td class="NavBarCell2"><font size="-2"><a target="_top" href="../../index.html"><b>FRAMES</b></a>&nbsp;|&nbsp;<a target="_top" href="#"><b>NO&nbsp;FRAMES</b></a></font></td></tr></table><hr><font size="-1">Submit a <a target="_blank" href="http://sourceforge.net/tracker/?atid=454391&group_id=48863&func=browse">bug</a> or a <a target="_blank" href="http://sourceforge.net/tracker/?atid=454394&group_id=48863&func=browse">feature</a>.<br>Created by <a href="http://xframe.sourceforge.net/xsddoc.html" target="_blank">xsddoc</a>, a sub project of <a target="_blank" href="htt
 p://xframe.sourceforge.net">xframe</a>, hosted at <a target="_blank" href="http://www.sou!
 rceforge.net">http://www.sourceforge.net</a>.</font></body></html>
--- NEW FILE: fun.type.html ---
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd">
<html><!-- This file is automaticaly generated by xframe - xsddoc--><!-- hosted at http://xframe.sourceforge.net --><!-- Please do not modify. --><head><META http-equiv="Content-Type" content="text/html; charset=ISO-8859-1"><title>http://www.ruleml.org/0.86/xsd</title><meta content="text/html; charset=ISO-8859-1" http-equiv="Content-Type"><link title="Style" href="../../stylesheet.css" type="text/css" rel="stylesheet"></head><body><table cellpadding="3" cellspacing="0" border="0" width="100%"><tr><td class="NavBarCell1" width="70%" colspan="2"><table cellspacing="3" cellpadding="0" border="0"><tr valign="top" align="center"><td bgcolor="#EEEEFF" class="NavBarCell1"><a href="../../schema-summary.html"><font class="NavBarFont1"><b>Overview</b></font></a>&nbsp;</td><td bgcolor="#EEEEFF" class="NavBarCell1"><a href="../index.html"><font class="NavBarFont1"><b>Namespace</b></font></a>&nbsp;</
 td><td class="NavBarCell1Rev" bgcolor="#EEEEFF"><font class="NavBarFont1Rev"><b>Component!
 </b></font>&nbsp;</td><td bgcolor="#EEEEFF" class="NavBarCell1"><a href="../../help-doc.html"><font class="NavBarFont1"><b>Help</b></font></a>&nbsp;</td></tr></table></td><td rowspan="3" valign="top" align="right"><em><b>XML Schema for a Equational-Logic RuleML sublanguage</b></em></td></tr><tr><td class="NavBarCell2"><font size="-2">DETAILS:&nbsp;<a href="#documentation"><b>DOCUMENTATION</b></a>&nbsp;|&nbsp;<a href="#elements"><b>NESTED</b></a>&nbsp;|&nbsp;<a href="#attributes"><b>ATTRIBUTES</b></a>&nbsp;|&nbsp;<a href="#source"><b>SOURCE</b></a></font></td><td class="NavBarCell2"><font size="-2"><a target="_top" href="../../index.html"><b>FRAMES</b></a>&nbsp;|&nbsp;<a target="_top" href="#"><b>NO&nbsp;FRAMES</b></a></font></td></tr></table><hr><h2><span class="smal">http://www.ruleml.org/0.86/xsd</span><br>complexType fun.type</h2><dl><dt>Super Types</dt></dl><pre>{http://www.w3.org/2
 001/XMLSchema}anyType<br>  |<br>  +--<b>{http://www.ruleml.org/0.86/xsd}fun.type</b> (res!
 triction)<br></pre><hr><dl><dt>Model</dt><dd><tt>&lt;...&gt;<br>    <b
r>&lt;/...&gt;</tt></dd></dl><hr><a name="source"></a><dl><dt>Source</dt><dd><pre xmlns:doc="http://xframe.sf.net/xsddoc/doc" xmlns:net.sf.xframe.xsddoc="http://xframe.sf.net/xsddoc/doc" xmlns:xs="http://www.w3.org/2001/XMLSchema"><div class="code"><span class="oper">&lt;</span><span class="elem">xs:complexType</span> <span class="attr">mixed</span><span class="oper">="</span><span class="cont">true</span><span class="oper">"</span> <span class="attr">name</span><span class="oper">="</span><span class="cont">fun.type</span><span class="oper">"</span><span class="oper">&gt;</span><br><div class="code">  <span class="oper">&lt;</span><span class="elem">xs:group</span> <span class="attr">ref</span><span class="oper">="</span><a href="../../http___www.ruleml.org_0.86_xsd/group/fun.content.html"><span class="cont">fun.content</span></a><span class="oper">"</span><span class="oper">/&gt;</span
 ><br></div><div class="code">  <span class="oper">&lt;</span><span class="elem">xs:attrib!
 uteGroup</span> <span class="attr">ref</span><span class="oper">="</span><a href="../../http___www.ruleml.org_0.86_xsd/attributeGroup/fun.attlist.html"><span class="cont">fun.attlist</span></a><span class="oper">"</span><span class="oper">/&gt;</span><br></div><span class="oper">&lt;/</span><span class="elem">xs:complexType</span><span class="oper">&gt;</span><br></div></pre></dd></dl><hr><table cellpadding="3" cellspacing="0" border="0" width="100%"><tr><td class="NavBarCell1" width="70%" colspan="2"><table cellspacing="3" cellpadding="0" border="0"><tr valign="top" align="center"><td bgcolor="#EEEEFF" class="NavBarCell1"><a href="../../schema-summary.html"><font class="NavBarFont1"><b>Overview</b></font></a>&nbsp;</td><td bgcolor="#EEEEFF" class="NavBarCell1"><a href="../index.html"><font class="NavBarFont1"><b>Namespace</b></font></a>&nbsp;</td><td class="NavBarCell1Rev" bgcolor="#EE
 EEFF"><font class="NavBarFont1Rev"><b>Component</b></font>&nbsp;</td><td bgcolor="#EEEEFF!
 " class="NavBarCell1"><a href="../../help-doc.html"><font class="NavBa
rFont1"><b>Help</b></font></a>&nbsp;</td></tr></table></td><td rowspan="3" valign="top" align="right"><em><b>XML Schema for a Equational-Logic RuleML sublanguage</b></em></td></tr><tr><td class="NavBarCell2"><font size="-2">DETAILS:&nbsp;<a href="#documentation"><b>DOCUMENTATION</b></a>&nbsp;|&nbsp;<a href="#elements"><b>NESTED</b></a>&nbsp;|&nbsp;<a href="#attributes"><b>ATTRIBUTES</b></a>&nbsp;|&nbsp;<a href="#source"><b>SOURCE</b></a></font></td><td class="NavBarCell2"><font size="-2"><a target="_top" href="../../index.html"><b>FRAMES</b></a>&nbsp;|&nbsp;<a target="_top" href="#"><b>NO&nbsp;FRAMES</b></a></font></td></tr></table><hr><font size="-1">Submit a <a target="_blank" href="http://sourceforge.net/tracker/?atid=454391&group_id=48863&func=browse">bug</a> or a <a target="_blank" href="http://sourceforge.net/tracker/?atid=454394&group_id=48863&func=browse">feature</a>.<br>Created 
 by <a href="http://xframe.sourceforge.net/xsddoc.html" target="_blank">xsddoc</a>, a sub !
 project of <a target="_blank" href="http://xframe.sourceforge.net">xframe</a>, hosted at <a target="_blank" href="http://www.sourceforge.net">http://www.sourceforge.net</a>.</font></body></html>
--- NEW FILE: _body.type.html ---
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd">
<html><!-- This file is automaticaly generated by xframe - xsddoc--><!-- hosted at http://xframe.sourceforge.net --><!-- Please do not modify. --><head><META http-equiv="Content-Type" content="text/html; charset=ISO-8859-1"><title>http://www.ruleml.org/0.86/xsd</title><meta content="text/html; charset=ISO-8859-1" http-equiv="Content-Type"><link title="Style" href="../../stylesheet.css" type="text/css" rel="stylesheet"></head><body><table cellpadding="3" cellspacing="0" border="0" width="100%"><tr><td class="NavBarCell1" width="70%" colspan="2"><table cellspacing="3" cellpadding="0" border="0"><tr valign="top" align="center"><td bgcolor="#EEEEFF" class="NavBarCell1"><a href="../../schema-summary.html"><font class="NavBarFont1"><b>Overview</b></font></a>&nbsp;</td><td bgcolor="#EEEEFF" class="NavBarCell1"><a href="../index.html"><font class="NavBarFont1"><b>Namespace</b></font></a>&nbsp;</
 td><td class="NavBarCell1Rev" bgcolor="#EEEEFF"><font class="NavBarFont1Rev"><b>Component!
 </b></font>&nbsp;</td><td bgcolor="#EEEEFF" class="NavBarCell1"><a href="../../help-doc.html"><font class="NavBarFont1"><b>Help</b></font></a>&nbsp;</td></tr></table></td><td rowspan="3" valign="top" align="right"><em><b>XML Schema for a Equational-Logic RuleML sublanguage</b></em></td></tr><tr><td class="NavBarCell2"><font size="-2">DETAILS:&nbsp;<a href="#documentation"><b>DOCUMENTATION</b></a>&nbsp;|&nbsp;<a href="#elements"><b>NESTED</b></a>&nbsp;|&nbsp;<a href="#attributes"><b>ATTRIBUTES</b></a>&nbsp;|&nbsp;<a href="#source"><b>SOURCE</b></a></font></td><td class="NavBarCell2"><font size="-2"><a target="_top" href="../../index.html"><b>FRAMES</b></a>&nbsp;|&nbsp;<a target="_top" href="#"><b>NO&nbsp;FRAMES</b></a></font></td></tr></table><hr><h2><span class="smal">http://www.ruleml.org/0.86/xsd</span><br>complexType _body.type</h2><dl><dt>Super Types</dt></dl><pre>{http://www.w3.org
 /2001/XMLSchema}anyType<br>  |<br>  +--<b>{http://www.ruleml.org/0.86/xsd}_body.type</b> !
 (restriction)<br></pre><hr><dl><dt>Model</dt><dd><tt>&lt;...&gt;<br>  
((<a href="../../http___www.ruleml.org_0.86_xsd/element/atom.html">atom</a> | <a href="../../http___www.ruleml.org_0.86_xsd/element/and.html">and</a> | <a href="../../http___www.ruleml.org_0.86_xsd/element/or.html">or</a>)  | <a href="../../http___www.ruleml.org_0.86_xsd/element/eq.html">eq</a>) <br>&lt;/...&gt;</tt></dd></dl><hr><br><a name="elements"></a><table width="100%" cellspacing="0" cellpadding="3" border="1"><tr class="TableHeadingColor" bgcolor="#CCCCFF"><td colspan="2"><font size="+2"><b>Nested Element Summary</b></font></td></tr><tr class="TableRowColor" bgcolor="white"><td width="1" valign="top" align="right"><font size="-1"><code>&nbsp;</code></font></td><td><code><a href="../../http___www.ruleml.org_0.86_xsd/element/and.html">and</a></code><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</td></tr><tr class="TableRowColor" bgcolor="white"><td width="1" vali
 gn="top" align="right"><font size="-1"><code>&nbsp;</code></font></td><td><code><a href="!
 ../../http___www.ruleml.org_0.86_xsd/element/atom.html">atom</a></code><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</td></tr><tr class="TableRowColor" bgcolor="white"><td width="1" valign="top" align="right"><font size="-1"><code>&nbsp;</code></font></td><td><code><a href="../../http___www.ruleml.org_0.86_xsd/element/eq.html">eq</a></code><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</td></tr><tr class="TableRowColor" bgcolor="white"><td width="1" valign="top" align="right"><font size="-1"><code>&nbsp;</code></font></td><td><code><a href="../../http___www.ruleml.org_0.86_xsd/element/or.html">or</a></code><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</td></tr></table><a name="source"></a><dl><dt>Source</dt><dd><pre xmlns:doc="http://xframe.sf.net/xsddoc/doc" xmlns:net.sf.xframe.xsddoc="http://xframe.sf.net/xsddoc/doc" xmlns:xs="ht
 tp://www.w3.org/2001/XMLSchema"><div class="code"><span class="oper">&lt;</span><span cla!
 ss="elem">xs:complexType</span> <span class="attr">name</span><span cl
ass="oper">="</span><span class="cont">_body.type</span><span class="oper">"</span><span class="oper">&gt;</span><br><div class="code">  <span class="oper">&lt;</span><span class="elem">xs:group</span> <span class="attr">ref</span><span class="oper">="</span><a href="../../http___www.ruleml.org_0.86_xsd/group/_body.content.html"><span class="cont">_body.content</span></a><span class="oper">"</span><span class="oper">/&gt;</span><br></div><div class="code">  <span class="oper">&lt;</span><span class="elem">xs:attributeGroup</span> <span class="attr">ref</span><span class="oper">="</span><a href="../../http___www.ruleml.org_0.86_xsd/attributeGroup/_body.attlist.html"><span class="cont">_body.attlist</span></a><span class="oper">"</span><span class="oper">/&gt;</span><br></div><span class="oper">&lt;/</span><span class="elem">xs:complexType</span><span class="oper">&gt;</span><br></div></pr
 e></dd></dl><hr><table cellpadding="3" cellspacing="0" border="0" width="100%"><tr><td cl!
 ass="NavBarCell1" width="70%" colspan="2"><table cellspacing="3" cellpadding="0" border="0"><tr valign="top" align="center"><td bgcolor="#EEEEFF" class="NavBarCell1"><a href="../../schema-summary.html"><font class="NavBarFont1"><b>Overview</b></font></a>&nbsp;</td><td bgcolor="#EEEEFF" class="NavBarCell1"><a href="../index.html"><font class="NavBarFont1"><b>Namespace</b></font></a>&nbsp;</td><td class="NavBarCell1Rev" bgcolor="#EEEEFF"><font class="NavBarFont1Rev"><b>Component</b></font>&nbsp;</td><td bgcolor="#EEEEFF" class="NavBarCell1"><a href="../../help-doc.html"><font class="NavBarFont1"><b>Help</b></font></a>&nbsp;</td></tr></table></td><td rowspan="3" valign="top" align="right"><em><b>XML Schema for a Equational-Logic RuleML sublanguage</b></em></td></tr><tr><td class="NavBarCell2"><font size="-2">DETAILS:&nbsp;<a href="#documentation"><b>DOCUMENTATION</b></a>&nbsp;|&nbsp;<a hre
 f="#elements"><b>NESTED</b></a>&nbsp;|&nbsp;<a href="#attributes"><b>ATTRIBUTES</b></a>&n!
 bsp;|&nbsp;<a href="#source"><b>SOURCE</b></a></font></td><td class="N
avBarCell2"><font size="-2"><a target="_top" href="../../index.html"><b>FRAMES</b></a>&nbsp;|&nbsp;<a target="_top" href="#"><b>NO&nbsp;FRAMES</b></a></font></td></tr></table><hr><font size="-1">Submit a <a target="_blank" href="http://sourceforge.net/tracker/?atid=454391&group_id=48863&func=browse">bug</a> or a <a target="_blank" href="http://sourceforge.net/tracker/?atid=454394&group_id=48863&func=browse">feature</a>.<br>Created by <a href="http://xframe.sourceforge.net/xsddoc.html" target="_blank">xsddoc</a>, a sub project of <a target="_blank" href="http://xframe.sourceforge.net">xframe</a>, hosted at <a target="_blank" href="http://www.sourceforge.net">http://www.sourceforge.net</a>.</font></body></html>
--- NEW FILE: rulebase.type.html ---
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd">
<html><!-- This file is automaticaly generated by xframe - xsddoc--><!-- hosted at http://xframe.sourceforge.net --><!-- Please do not modify. --><head><META http-equiv="Content-Type" content="text/html; charset=ISO-8859-1"><title>http://www.ruleml.org/0.86/xsd</title><meta content="text/html; charset=ISO-8859-1" http-equiv="Content-Type"><link title="Style" href="../../stylesheet.css" type="text/css" rel="stylesheet"></head><body><table cellpadding="3" cellspacing="0" border="0" width="100%"><tr><td class="NavBarCell1" width="70%" colspan="2"><table cellspacing="3" cellpadding="0" border="0"><tr valign="top" align="center"><td bgcolor="#EEEEFF" class="NavBarCell1"><a href="../../schema-summary.html"><font class="NavBarFont1"><b>Overview</b></font></a>&nbsp;</td><td bgcolor="#EEEEFF" class="NavBarCell1"><a href="../index.html"><font class="NavBarFont1"><b>Namespace</b></font></a>&nbsp;</
 td><td class="NavBarCell1Rev" bgcolor="#EEEEFF"><font class="NavBarFont1Rev"><b>Component!
 </b></font>&nbsp;</td><td bgcolor="#EEEEFF" class="NavBarCell1"><a href="../../help-doc.html"><font class="NavBarFont1"><b>Help</b></font></a>&nbsp;</td></tr></table></td><td rowspan="3" valign="top" align="right"><em><b>XML Schema for a Equational-Logic RuleML sublanguage</b></em></td></tr><tr><td class="NavBarCell2"><font size="-2">DETAILS:&nbsp;<a href="#documentation"><b>DOCUMENTATION</b></a>&nbsp;|&nbsp;<a href="#elements"><b>NESTED</b></a>&nbsp;|&nbsp;<a href="#attributes"><b>ATTRIBUTES</b></a>&nbsp;|&nbsp;<a href="#source"><b>SOURCE</b></a></font></td><td class="NavBarCell2"><font size="-2"><a target="_top" href="../../index.html"><b>FRAMES</b></a>&nbsp;|&nbsp;<a target="_top" href="#"><b>NO&nbsp;FRAMES</b></a></font></td></tr></table><hr><h2><span class="smal">http://www.ruleml.org/0.86/xsd</span><br>complexType rulebase.type</h2><dl><dt>Super Types</dt></dl><pre>{http://www.w3.
 org/2001/XMLSchema}anyType<br>  |<br>  +--<b>{http://www.ruleml.org/0.86/xsd}rulebase.typ!
 e</b> (restriction)<br></pre><hr><dl><dt>Model</dt><dd><tt>&lt;...<br>
&nbsp;&nbsp;<a href="#attr_direction">direction</a> = <i>xs:NMTOKEN</i> : bidirectional&gt;<br>  ((<a href="../../http___www.ruleml.org_0.86_xsd/element/_rbaselab.html">_rbaselab</a>, (<a href="../../http___www.ruleml.org_0.86_xsd/element/fact.html">fact</a> | <a href="../../http___www.ruleml.org_0.86_xsd/element/query.html">query</a> | <a href="../../http___www.ruleml.org_0.86_xsd/element/imp.html">imp</a>)* ) | ((<a href="../../http___www.ruleml.org_0.86_xsd/element/fact.html">fact</a> | <a href="../../http___www.ruleml.org_0.86_xsd/element/query.html">query</a> | <a href="../../http___www.ruleml.org_0.86_xsd/element/imp.html">imp</a>)+ , <a href="../../http___www.ruleml.org_0.86_xsd/element/_rbaselab.html">_rbaselab</a>?)?)? <br>&lt;/...&gt;</tt></dd></dl><hr><br><a name="elements"></a><table width="100%" cellspacing="0" cellpadding="3" border="1"><tr class="TableHeadingColor" bgcolor
 ="#CCCCFF"><td colspan="2"><font size="+2"><b>Nested Element Summary</b></font></td></tr>!
 <tr class="TableRowColor" bgcolor="white"><td width="1" valign="top" align="right"><font size="-1"><code>&nbsp;</code></font></td><td><code><a href="../../http___www.ruleml.org_0.86_xsd/element/_rbaselab.html">_rbaselab</a></code><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</td></tr><tr class="TableRowColor" bgcolor="white"><td width="1" valign="top" align="right"><font size="-1"><code>&nbsp;</code></font></td><td><code><a href="../../http___www.ruleml.org_0.86_xsd/element/_rbaselab.html">_rbaselab</a></code><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</td></tr><tr class="TableRowColor" bgcolor="white"><td width="1" valign="top" align="right"><font size="-1"><code>&nbsp;</code></font></td><td><code><a href="../../http___www.ruleml.org_0.86_xsd/element/fact.html">fact</a></code><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</td></
 tr><tr class="TableRowColor" bgcolor="white"><td width="1" valign="top" align="right"><fo!
 nt size="-1"><code>&nbsp;</code></font></td><td><code><a href="../../h
ttp___www.ruleml.org_0.86_xsd/element/fact.html">fact</a></code><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</td></tr><tr class="TableRowColor" bgcolor="white"><td width="1" valign="top" align="right"><font size="-1"><code>&nbsp;</code></font></td><td><code><a href="../../http___www.ruleml.org_0.86_xsd/element/imp.html">imp</a></code><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</td></tr><tr class="TableRowColor" bgcolor="white"><td width="1" valign="top" align="right"><font size="-1"><code>&nbsp;</code></font></td><td><code><a href="../../http___www.ruleml.org_0.86_xsd/element/imp.html">imp</a></code><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</td></tr><tr class="TableRowColor" bgcolor="white"><td width="1" valign="top" align="right"><font size="-1"><code>&nbsp;</code></font></td><td><code><a href="../../http___www.ruleml.org_0
 .86_xsd/element/query.html">query</a></code><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp!
 ;&nbsp;&nbsp;&nbsp;</td></tr><tr class="TableRowColor" bgcolor="white"><td width="1" valign="top" align="right"><font size="-1"><code>&nbsp;</code></font></td><td><code><a href="../../http___www.ruleml.org_0.86_xsd/element/query.html">query</a></code><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</td></tr></table><br><a name="attributes"></a><table width="100%" cellspacing="0" cellpadding="3" border="1"><tr class="TableHeadingColor" bgcolor="#CCCCFF"><td colspan="2"><font size="+2"><b>Attribute Summary</b></font></td></tr><tr class="TableRowColor" bgcolor="white"><td width="1" valign="top" align="right"><font size="-1"><code>&nbsp;<i>xs:NMTOKEN</i></code></font></td><td><code><a href="#attr_direction">direction</a></code><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</td></tr></table><br><table width="100%" cellspacing="0" cellpadding="3" border="1"><
 tr class="TableHeadingColor" bgcolor="#CCCCFF"><td colspan="2"><font size="+2"><b>Attribu!
 te Detail</b></font></td></tr></table><a name="attr_direction"></a><h3
>direction</h3><dl><dl><dt>Type:</dt><dd>based on <code></code><br>with :<br></dd></dl><dl><dt>Default:</dt><dd><code>bidirectional</code></dd></dl><dl><dt>Use:</dt><dd><code>optional</code></dd></dl><dl><dt>Form:</dt><dd><code>unqualified</code></dd></dl></dl><hr><a name="source"></a><dl><dt>Source</dt><dd><pre xmlns:doc="http://xframe.sf.net/xsddoc/doc" xmlns:net.sf.xframe.xsddoc="http://xframe.sf.net/xsddoc/doc" xmlns:xs="http://www.w3.org/2001/XMLSchema"><div class="code"><span class="oper">&lt;</span><span class="elem">xs:complexType</span> <span class="attr">name</span><span class="oper">="</span><span class="cont">rulebase.type</span><span class="oper">"</span><span class="oper">&gt;</span><br><div class="code">  <span class="oper">&lt;</span><span class="elem">xs:group</span> <span class="attr">minOccurs</span><span class="oper">="</span><span class="cont">0</span><span class="op
 er">"</span> <span class="attr">ref</span><span class="oper">="</span><a href="../../http!
 ___www.ruleml.org_0.86_xsd/group/rulebase.content.html"><span class="cont">rulebase.content</span></a><span class="oper">"</span><span class="oper">/&gt;</span><br></div><div class="code">  <span class="oper">&lt;</span><span class="elem">xs:attributeGroup</span> <span class="attr">ref</span><span class="oper">="</span><a href="../../http___www.ruleml.org_0.86_xsd/attributeGroup/rulebase.attlist.html"><span class="cont">rulebase.attlist</span></a><span class="oper">"</span><span class="oper">/&gt;</span><br></div><span class="oper">&lt;/</span><span class="elem">xs:complexType</span><span class="oper">&gt;</span><br></div></pre></dd></dl><hr><table cellpadding="3" cellspacing="0" border="0" width="100%"><tr><td class="NavBarCell1" width="70%" colspan="2"><table cellspacing="3" cellpadding="0" border="0"><tr valign="top" align="center"><td bgcolor="#EEEEFF" class="NavBarCell1"><a href=".
 ./../schema-summary.html"><font class="NavBarFont1"><b>Overview</b></font></a>&nbsp;</td>!
 <td bgcolor="#EEEEFF" class="NavBarCell1"><a href="../index.html"><fon
t class="NavBarFont1"><b>Namespace</b></font></a>&nbsp;</td><td class="NavBarCell1Rev" bgcolor="#EEEEFF"><font class="NavBarFont1Rev"><b>Component</b></font>&nbsp;</td><td bgcolor="#EEEEFF" class="NavBarCell1"><a href="../../help-doc.html"><font class="NavBarFont1"><b>Help</b></font></a>&nbsp;</td></tr></table></td><td rowspan="3" valign="top" align="right"><em><b>XML Schema for a Equational-Logic RuleML sublanguage</b></em></td></tr><tr><td class="NavBarCell2"><font size="-2">DETAILS:&nbsp;<a href="#documentation"><b>DOCUMENTATION</b></a>&nbsp;|&nbsp;<a href="#elements"><b>NESTED</b></a>&nbsp;|&nbsp;<a href="#attributes"><b>ATTRIBUTES</b></a>&nbsp;|&nbsp;<a href="#source"><b>SOURCE</b></a></font></td><td class="NavBarCell2"><font size="-2"><a target="_top" href="../../index.html"><b>FRAMES</b></a>&nbsp;|&nbsp;<a target="_top" href="#"><b>NO&nbsp;FRAMES</b></a></font></td></tr></table><h
 r><font size="-1">Submit a <a target="_blank" href="http://sourceforge.net/tracker/?atid=!
 454391&group_id=48863&func=browse">bug</a> or a <a target="_blank" href="http://sourceforge.net/tracker/?atid=454394&group_id=48863&func=browse">feature</a>.<br>Created by <a href="http://xframe.sourceforge.net/xsddoc.html" target="_blank">xsddoc</a>, a sub project of <a target="_blank" href="http://xframe.sourceforge.net">xframe</a>, hosted at <a target="_blank" href="http://www.sourceforge.net">http://www.sourceforge.net</a>.</font></body></html>
--- NEW FILE: atom.type.html ---
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd">
<html><!-- This file is automaticaly generated by xframe - xsddoc--><!-- hosted at http://xframe.sourceforge.net --><!-- Please do not modify. --><head><META http-equiv="Content-Type" content="text/html; charset=ISO-8859-1"><title>http://www.ruleml.org/0.86/xsd</title><meta content="text/html; charset=ISO-8859-1" http-equiv="Content-Type"><link title="Style" href="../../stylesheet.css" type="text/css" rel="stylesheet"></head><body><table cellpadding="3" cellspacing="0" border="0" width="100%"><tr><td class="NavBarCell1" width="70%" colspan="2"><table cellspacing="3" cellpadding="0" border="0"><tr valign="top" align="center"><td bgcolor="#EEEEFF" class="NavBarCell1"><a href="../../schema-summary.html"><font class="NavBarFont1"><b>Overview</b></font></a>&nbsp;</td><td bgcolor="#EEEEFF" class="NavBarCell1"><a href="../index.html"><font class="NavBarFont1"><b>Namespace</b></font></a>&nbsp;</
 td><td class="NavBarCell1Rev" bgcolor="#EEEEFF"><font class="NavBarFont1Rev"><b>Component!
 </b></font>&nbsp;</td><td bgcolor="#EEEEFF" class="NavBarCell1"><a href="../../help-doc.html"><font class="NavBarFont1"><b>Help</b></font></a>&nbsp;</td></tr></table></td><td rowspan="3" valign="top" align="right"><em><b>XML Schema for a Equational-Logic RuleML sublanguage</b></em></td></tr><tr><td class="NavBarCell2"><font size="-2">DETAILS:&nbsp;<a href="#documentation"><b>DOCUMENTATION</b></a>&nbsp;|&nbsp;<a href="#elements"><b>NESTED</b></a>&nbsp;|&nbsp;<a href="#attributes"><b>ATTRIBUTES</b></a>&nbsp;|&nbsp;<a href="#source"><b>SOURCE</b></a></font></td><td class="NavBarCell2"><font size="-2"><a target="_top" href="../../index.html"><b>FRAMES</b></a>&nbsp;|&nbsp;<a target="_top" href="#"><b>NO&nbsp;FRAMES</b></a></font></td></tr></table><hr><h2><span class="smal">http://www.ruleml.org/0.86/xsd</span><br>complexType atom.type</h2><dl><dt>Super Types</dt></dl><pre>{http://www.w3.org/
 2001/XMLSchema}anyType<br>  |<br>  +--<b>{http://www.ruleml.org/0.86/xsd}atom.type</b> (r!
 estriction)<br></pre><hr><dl><dt>Model</dt><dd><tt>&lt;...&gt;<br>  ((
<a href="../../http___www.ruleml.org_0.86_xsd/element/_opr.html">_opr</a>, <a href="../../http___www.ruleml.org_0.86_xsd/element/_slot.html">_slot</a>*, (((<a href="../../http___www.ruleml.org_0.86_xsd/element/ind.html">ind</a> | <a href="../../http___www.ruleml.org_0.86_xsd/element/var.html">var</a>)+  | <a href="../../http___www.ruleml.org_0.86_xsd/element/cterm.html">cterm</a> | <a href="../../http___www.ruleml.org_0.86_xsd/element/plex.html">plex</a>)+ , <a href="../../http___www.ruleml.org_0.86_xsd/element/_slot.html">_slot</a>*)?) | (((<a href="../../http___www.ruleml.org_0.86_xsd/element/_slot.html">_slot</a>+, (((<a href="../../http___www.ruleml.org_0.86_xsd/element/ind.html">ind</a> | <a href="../../http___www.ruleml.org_0.86_xsd/element/var.html">var</a>)+  | <a href="../../http___www.ruleml.org_0.86_xsd/element/cterm.html">cterm</a> | <a href="../../http___www.ruleml.org_0.86_
 xsd/element/plex.html">plex</a>)+ , <a href="../../http___www.ruleml.org_0.86_xsd/element!
 /_slot.html">_slot</a>*)?) | (((<a href="../../http___www.ruleml.org_0.86_xsd/element/ind.html">ind</a> | <a href="../../http___www.ruleml.org_0.86_xsd/element/var.html">var</a>)+  | <a href="../../http___www.ruleml.org_0.86_xsd/element/cterm.html">cterm</a> | <a href="../../http___www.ruleml.org_0.86_xsd/element/plex.html">plex</a>)+ , <a href="../../http___www.ruleml.org_0.86_xsd/element/_slot.html">_slot</a>*)) , <a href="../../http___www.ruleml.org_0.86_xsd/element/_opr.html">_opr</a>)) <br>&lt;/...&gt;</tt></dd></dl><hr><br><a name="elements"></a><table width="100%" cellspacing="0" cellpadding="3" border="1"><tr class="TableHeadingColor" bgcolor="#CCCCFF"><td colspan="2"><font size="+2"><b>Nested Element Summary</b></font></td></tr><tr class="TableRowColor" bgcolor="white"><td width="1" valign="top" align="right"><font size="-1"><code>&nbsp;</code></font></td><td><code><a href="../
 ../http___www.ruleml.org_0.86_xsd/element/_opr.html">_opr</a></code><br>&nbsp;&nbsp;&nbsp!
 ;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</td></tr><tr class="TableR
owColor" bgcolor="white"><td width="1" valign="top" align="right"><font size="-1"><code>&nbsp;</code></font></td><td><code><a href="../../http___www.ruleml.org_0.86_xsd/element/_opr.html">_opr</a></code><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</td></tr><tr class="TableRowColor" bgcolor="white"><td width="1" valign="top" align="right"><font size="-1"><code>&nbsp;</code></font></td><td><code><a href="../../http___www.ruleml.org_0.86_xsd/element/_slot.html">_slot</a></code><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</td></tr><tr class="TableRowColor" bgcolor="white"><td width="1" valign="top" align="right"><font size="-1"><code>&nbsp;</code></font></td><td><code><a href="../../http___www.ruleml.org_0.86_xsd/element/_slot.html">_slot</a></code><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</td></tr><tr class="TableRowColor" bgcol
 or="white"><td width="1" valign="top" align="right"><font size="-1"><code>&nbsp;</code></!
 font></td><td><code><a href="../../http___www.ruleml.org_0.86_xsd/element/_slot.html">_slot</a></code><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</td></tr><tr class="TableRowColor" bgcolor="white"><td width="1" valign="top" align="right"><font size="-1"><code>&nbsp;</code></font></td><td><code><a href="../../http___www.ruleml.org_0.86_xsd/element/_slot.html">_slot</a></code><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</td></tr><tr class="TableRowColor" bgcolor="white"><td width="1" valign="top" align="right"><font size="-1"><code>&nbsp;</code></font></td><td><code><a href="../../http___www.ruleml.org_0.86_xsd/element/_slot.html">_slot</a></code><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</td></tr><tr class="TableRowColor" bgcolor="white"><td width="1" valign="top" align="right"><font size="-1"><code>&nbsp;</code></font></td><
 td><code><a href="../../http___www.ruleml.org_0.86_xsd/element/cterm.html">cterm</a></cod!
 e><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</td
></tr><tr class="TableRowColor" bgcolor="white"><td width="1" valign="top" align="right"><font size="-1"><code>&nbsp;</code></font></td><td><code><a href="../../http___www.ruleml.org_0.86_xsd/element/cterm.html">cterm</a></code><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</td></tr><tr class="TableRowColor" bgcolor="white"><td width="1" valign="top" align="right"><font size="-1"><code>&nbsp;</code></font></td><td><code><a href="../../http___www.ruleml.org_0.86_xsd/element/cterm.html">cterm</a></code><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</td></tr><tr class="TableRowColor" bgcolor="white"><td width="1" valign="top" align="right"><font size="-1"><code>&nbsp;</code></font></td><td><code><a href="../../http___www.ruleml.org_0.86_xsd/element/ind.html">ind</a></code><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</td></tr><tr class=
 "TableRowColor" bgcolor="white"><td width="1" valign="top" align="right"><font size="-1">!
 <code>&nbsp;</code></font></td><td><code><a href="../../http___www.ruleml.org_0.86_xsd/element/ind.html">ind</a></code><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</td></tr><tr class="TableRowColor" bgcolor="white"><td width="1" valign="top" align="right"><font size="-1"><code>&nbsp;</code></font></td><td><code><a href="../../http___www.ruleml.org_0.86_xsd/element/ind.html">ind</a></code><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</td></tr><tr class="TableRowColor" bgcolor="white"><td width="1" valign="top" align="right"><font size="-1"><code>&nbsp;</code></font></td><td><code><a href="../../http___www.ruleml.org_0.86_xsd/element/plex.html">plex</a></code><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</td></tr><tr class="TableRowColor" bgcolor="white"><td width="1" valign="top" align="right"><font size="-1"><code>&nbsp;</code></
 font></td><td><code><a href="../../http___www.ruleml.org_0.86_xsd/element/plex.html">plex!
 </a></code><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&
nbsp;</td></tr><tr class="TableRowColor" bgcolor="white"><td width="1" valign="top" align="right"><font size="-1"><code>&nbsp;</code></font></td><td><code><a href="../../http___www.ruleml.org_0.86_xsd/element/plex.html">plex</a></code><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</td></tr><tr class="TableRowColor" bgcolor="white"><td width="1" valign="top" align="right"><font size="-1"><code>&nbsp;</code></font></td><td><code><a href="../../http___www.ruleml.org_0.86_xsd/element/var.html">var</a></code><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</td></tr><tr class="TableRowColor" bgcolor="white"><td width="1" valign="top" align="right"><font size="-1"><code>&nbsp;</code></font></td><td><code><a href="../../http___www.ruleml.org_0.86_xsd/element/var.html">var</a></code><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</td></tr><tr cla
 ss="TableRowColor" bgcolor="white"><td width="1" valign="top" align="right"><font size="-!
 1"><code>&nbsp;</code></font></td><td><code><a href="../../http___www.ruleml.org_0.86_xsd/element/var.html">var</a></code><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</td></tr></table><a name="source"></a><dl><dt>Source</dt><dd><pre xmlns:doc="http://xframe.sf.net/xsddoc/doc" xmlns:net.sf.xframe.xsddoc="http://xframe.sf.net/xsddoc/doc" xmlns:xs="http://www.w3.org/2001/XMLSchema"><div class="code"><span class="oper">&lt;</span><span class="elem">xs:complexType</span> <span class="attr">name</span><span class="oper">="</span><span class="cont">atom.type</span><span class="oper">"</span><span class="oper">&gt;</span><br><div class="code">  <span class="oper">&lt;</span><span class="elem">xs:group</span> <span class="attr">ref</span><span class="oper">="</span><a href="../../http___www.ruleml.org_0.86_xsd/group/atom.content.html"><span class="cont">atom.content</span></a
 ><span class="oper">"</span><span class="oper">/&gt;</span><br></div><div class="code">  !
 <span class="oper">&lt;</span><span class="elem">xs:attributeGroup</sp
an> <span class="attr">ref</span><span class="oper">="</span><a href="../../http___www.ruleml.org_0.86_xsd/attributeGroup/atom.attlist.html"><span class="cont">atom.attlist</span></a><span class="oper">"</span><span class="oper">/&gt;</span><br></div><span class="oper">&lt;/</span><span class="elem">xs:complexType</span><span class="oper">&gt;</span><br></div></pre></dd></dl><hr><table cellpadding="3" cellspacing="0" border="0" width="100%"><tr><td class="NavBarCell1" width="70%" colspan="2"><table cellspacing="3" cellpadding="0" border="0"><tr valign="top" align="center"><td bgcolor="#EEEEFF" class="NavBarCell1"><a href="../../schema-summary.html"><font class="NavBarFont1"><b>Overview</b></font></a>&nbsp;</td><td bgcolor="#EEEEFF" class="NavBarCell1"><a href="../index.html"><font class="NavBarFont1"><b>Namespace</b></font></a>&nbsp;</td><td class="NavBarCell1Rev" bgcolor="#EEEEFF"><font
  class="NavBarFont1Rev"><b>Component</b></font>&nbsp;</td><td bgcolor="#EEEEFF" class="Na!
 vBarCell1"><a href="../../help-doc.html"><font class="NavBarFont1"><b>Help</b></font></a>&nbsp;</td></tr></table></td><td rowspan="3" valign="top" align="right"><em><b>XML Schema for a Equational-Logic RuleML sublanguage</b></em></td></tr><tr><td class="NavBarCell2"><font size="-2">DETAILS:&nbsp;<a href="#documentation"><b>DOCUMENTATION</b></a>&nbsp;|&nbsp;<a href="#elements"><b>NESTED</b></a>&nbsp;|&nbsp;<a href="#attributes"><b>ATTRIBUTES</b></a>&nbsp;|&nbsp;<a href="#source"><b>SOURCE</b></a></font></td><td class="NavBarCell2"><font size="-2"><a target="_top" href="../../index.html"><b>FRAMES</b></a>&nbsp;|&nbsp;<a target="_top" href="#"><b>NO&nbsp;FRAMES</b></a></font></td></tr></table><hr><font size="-1">Submit a <a target="_blank" href="http://sourceforge.net/tracker/?atid=454391&group_id=48863&func=browse">bug</a> or a <a target="_blank" href="http://sourceforge.net/tracker/?atid
 =454394&group_id=48863&func=browse">feature</a>.<br>Created by <a href="http://xframe.sou!
 rceforge.net/xsddoc.html" target="_blank">xsddoc</a>, a sub project of
 <a target="_blank" href="http://xframe.sourceforge.net">xframe</a>, hosted at <a target="_blank" href="http://www.sourceforge.net">http://www.sourceforge.net</a>.</font></body></html>
--- NEW FILE: eq.type.html ---
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd">
<html><!-- This file is automaticaly generated by xframe - xsddoc--><!-- hosted at http://xframe.sourceforge.net --><!-- Please do not modify. --><head><META http-equiv="Content-Type" content="text/html; charset=ISO-8859-1"><title>http://www.ruleml.org/0.86/xsd</title><meta content="text/html; charset=ISO-8859-1" http-equiv="Content-Type"><link title="Style" href="../../stylesheet.css" type="text/css" rel="stylesheet"></head><body><table cellpadding="3" cellspacing="0" border="0" width="100%"><tr><td class="NavBarCell1" width="70%" colspan="2"><table cellspacing="3" cellpadding="0" border="0"><tr valign="top" align="center"><td bgcolor="#EEEEFF" class="NavBarCell1"><a href="../../schema-summary.html"><font class="NavBarFont1"><b>Overview</b></font></a>&nbsp;</td><td bgcolor="#EEEEFF" class="NavBarCell1"><a href="../index.html"><font class="NavBarFont1"><b>Namespace</b></font></a>&nbsp;</
 td><td class="NavBarCell1Rev" bgcolor="#EEEEFF"><font class="NavBarFont1Rev"><b>Component!
 </b></font>&nbsp;</td><td bgcolor="#EEEEFF" class="NavBarCell1"><a href="../../help-doc.html"><font class="NavBarFont1"><b>Help</b></font></a>&nbsp;</td></tr></table></td><td rowspan="3" valign="top" align="right"><em><b>XML Schema for a Equational-Logic RuleML sublanguage</b></em></td></tr><tr><td class="NavBarCell2"><font size="-2">DETAILS:&nbsp;<a href="#documentation"><b>DOCUMENTATION</b></a>&nbsp;|&nbsp;<a href="#elements"><b>NESTED</b></a>&nbsp;|&nbsp;<a href="#attributes"><b>ATTRIBUTES</b></a>&nbsp;|&nbsp;<a href="#source"><b>SOURCE</b></a></font></td><td class="NavBarCell2"><font size="-2"><a target="_top" href="../../index.html"><b>FRAMES</b></a>&nbsp;|&nbsp;<a target="_top" href="#"><b>NO&nbsp;FRAMES</b></a></font></td></tr></table><hr><h2><span class="smal">http://www.ruleml.org/0.86/xsd</span><br>complexType eq.type</h2><dl><dt>Super Types</dt></dl><pre>{http://www.w3.org/20
 01/XMLSchema}anyType<br>  |<br>  +--<b>{http://www.ruleml.org/0.86/xsd}eq.type</b> (restr!
 iction)<br></pre><hr><dl><dt>Model</dt><dd><tt>&lt;...&gt;<br>  ((<a h
ref="../../http___www.ruleml.org_0.86_xsd/element/ind.html">ind</a> | <a href="../../http___www.ruleml.org_0.86_xsd/element/var.html">var</a> | <a href="../../http___www.ruleml.org_0.86_xsd/element/cterm.html">cterm</a> | <a href="../../http___www.ruleml.org_0.86_xsd/element/nano.html">nano</a>) , (<a href="../../http___www.ruleml.org_0.86_xsd/element/ind.html">ind</a> | <a href="../../http___www.ruleml.org_0.86_xsd/element/var.html">var</a> | <a href="../../http___www.ruleml.org_0.86_xsd/element/cterm.html">cterm</a> | <a href="../../http___www.ruleml.org_0.86_xsd/element/nano.html">nano</a>)   )<br>&lt;/...&gt;</tt></dd></dl><hr><br><a name="elements"></a><table width="100%" cellspacing="0" cellpadding="3" border="1"><tr class="TableHeadingColor" bgcolor="#CCCCFF"><td colspan="2"><font size="+2"><b>Nested Element Summary</b></font></td></tr><tr class="TableRowColor" bgcolor="white"><td
  width="1" valign="top" align="right"><font size="-1"><code>&nbsp;</code></font></td><td>!
 <code><a href="../../http___www.ruleml.org_0.86_xsd/element/cterm.html">cterm</a></code><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</td></tr><tr class="TableRowColor" bgcolor="white"><td width="1" valign="top" align="right"><font size="-1"><code>&nbsp;</code></font></td><td><code><a href="../../http___www.ruleml.org_0.86_xsd/element/cterm.html">cterm</a></code><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</td></tr><tr class="TableRowColor" bgcolor="white"><td width="1" valign="top" align="right"><font size="-1"><code>&nbsp;</code></font></td><td><code><a href="../../http___www.ruleml.org_0.86_xsd/element/ind.html">ind</a></code><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</td></tr><tr class="TableRowColor" bgcolor="white"><td width="1" valign="top" align="right"><font size="-1"><code>&nbsp;</code></font></td><td><code><a href="
 ../../http___www.ruleml.org_0.86_xsd/element/ind.html">ind</a></code><br>&nbsp;&nbsp;&nbs!
 p;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</td></tr><tr class="Table
RowColor" bgcolor="white"><td width="1" valign="top" align="right"><font size="-1"><code>&nbsp;</code></font></td><td><code><a href="../../http___www.ruleml.org_0.86_xsd/element/nano.html">nano</a></code><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</td></tr><tr class="TableRowColor" bgcolor="white"><td width="1" valign="top" align="right"><font size="-1"><code>&nbsp;</code></font></td><td><code><a href="../../http___www.ruleml.org_0.86_xsd/element/nano.html">nano</a></code><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</td></tr><tr class="TableRowColor" bgcolor="white"><td width="1" valign="top" align="right"><font size="-1"><code>&nbsp;</code></font></td><td><code><a href="../../http___www.ruleml.org_0.86_xsd/element/var.html">var</a></code><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</td></tr><tr class="TableRowColor" bgcolor="w
 hite"><td width="1" valign="top" align="right"><font size="-1"><code>&nbsp;</code></font>!
 </td><td><code><a href="../../http___www.ruleml.org_0.86_xsd/element/var.html">var</a></code><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</td></tr></table><a name="source"></a><dl><dt>Source</dt><dd><pre xmlns:doc="http://xframe.sf.net/xsddoc/doc" xmlns:net.sf.xframe.xsddoc="http://xframe.sf.net/xsddoc/doc" xmlns:xs="http://www.w3.org/2001/XMLSchema"><div class="code"><span class="oper">&lt;</span><span class="elem">xs:complexType</span> <span class="attr">name</span><span class="oper">="</span><span class="cont">eq.type</span><span class="oper">"</span><span class="oper">&gt;</span><br><div class="code">  <span class="oper">&lt;</span><span class="elem">xs:group</span> <span class="attr">ref</span><span class="oper">="</span><a href="../../http___www.ruleml.org_0.86_xsd/group/eq.content.html"><span class="cont">eq.content</span></a><span class="oper">"</span><span c
 lass="oper">/&gt;</span><br></div><div class="code">  <span class="oper">&lt;</span><span!
  class="elem">xs:attributeGroup</span> <span class="attr">ref</span><s
pan class="oper">="</span><a href="../../http___www.ruleml.org_0.86_xsd/attributeGroup/eq.attlist.html"><span class="cont">eq.attlist</span></a><span class="oper">"</span><span class="oper">/&gt;</span><br></div><span class="oper">&lt;/</span><span class="elem">xs:complexType</span><span class="oper">&gt;</span><br></div></pre></dd></dl><hr><table cellpadding="3" cellspacing="0" border="0" width="100%"><tr><td class="NavBarCell1" width="70%" colspan="2"><table cellspacing="3" cellpadding="0" border="0"><tr valign="top" align="center"><td bgcolor="#EEEEFF" class="NavBarCell1"><a href="../../schema-summary.html"><font class="NavBarFont1"><b>Overview</b></font></a>&nbsp;</td><td bgcolor="#EEEEFF" class="NavBarCell1"><a href="../index.html"><font class="NavBarFont1"><b>Namespace</b></font></a>&nbsp;</td><td class="NavBarCell1Rev" bgcolor="#EEEEFF"><font class="NavBarFont1Rev"><b>Component</b
 ></font>&nbsp;</td><td bgcolor="#EEEEFF" class="NavBarCell1"><a href="../../help-doc.html!
 "><font class="NavBarFont1"><b>Help</b></font></a>&nbsp;</td></tr></table></td><td rowspan="3" valign="top" align="right"><em><b>XML Schema for a Equational-Logic RuleML sublanguage</b></em></td></tr><tr><td class="NavBarCell2"><font size="-2">DETAILS:&nbsp;<a href="#documentation"><b>DOCUMENTATION</b></a>&nbsp;|&nbsp;<a href="#elements"><b>NESTED</b></a>&nbsp;|&nbsp;<a href="#attributes"><b>ATTRIBUTES</b></a>&nbsp;|&nbsp;<a href="#source"><b>SOURCE</b></a></font></td><td class="NavBarCell2"><font size="-2"><a target="_top" href="../../index.html"><b>FRAMES</b></a>&nbsp;|&nbsp;<a target="_top" href="#"><b>NO&nbsp;FRAMES</b></a></font></td></tr></table><hr><font size="-1">Submit a <a target="_blank" href="http://sourceforge.net/tracker/?atid=454391&group_id=48863&func=browse">bug</a> or a <a target="_blank" href="http://sourceforge.net/tracker/?atid=454394&group_id=48863&func=browse">fea
 ture</a>.<br>Created by <a href="http://xframe.sourceforge.net/xsddoc.html" target="_blan!
 k">xsddoc</a>, a sub project of <a target="_blank" href="http://xframe
.sourceforge.net">xframe</a>, hosted at <a target="_blank" href="http://www.sourceforge.net">http://www.sourceforge.net</a>.</font></body></html>
--- NEW FILE: plex.type.html ---
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd">
<html><!-- This file is automaticaly generated by xframe - xsddoc--><!-- hosted at http://xframe.sourceforge.net --><!-- Please do not modify. --><head><META http-equiv="Content-Type" content="text/html; charset=ISO-8859-1"><title>http://www.ruleml.org/0.86/xsd</title><meta content="text/html; charset=ISO-8859-1" http-equiv="Content-Type"><link title="Style" href="../../stylesheet.css" type="text/css" rel="stylesheet"></head><body><table cellpadding="3" cellspacing="0" border="0" width="100%"><tr><td class="NavBarCell1" width="70%" colspan="2"><table cellspacing="3" cellpadding="0" border="0"><tr valign="top" align="center"><td bgcolor="#EEEEFF" class="NavBarCell1"><a href="../../schema-summary.html"><font class="NavBarFont1"><b>Overview</b></font></a>&nbsp;</td><td bgcolor="#EEEEFF" class="NavBarCell1"><a href="../index.html"><font class="NavBarFont1"><b>Namespace</b></font></a>&nbsp;</
 td><td class="NavBarCell1Rev" bgcolor="#EEEEFF"><font class="NavBarFont1Rev"><b>Component!
 </b></font>&nbsp;</td><td bgcolor="#EEEEFF" class="NavBarCell1"><a href="../../help-doc.html"><font class="NavBarFont1"><b>Help</b></font></a>&nbsp;</td></tr></table></td><td rowspan="3" valign="top" align="right"><em><b>XML Schema for a Equational-Logic RuleML sublanguage</b></em></td></tr><tr><td class="NavBarCell2"><font size="-2">DETAILS:&nbsp;<a href="#documentation"><b>DOCUMENTATION</b></a>&nbsp;|&nbsp;<a href="#elements"><b>NESTED</b></a>&nbsp;|&nbsp;<a href="#attributes"><b>ATTRIBUTES</b></a>&nbsp;|&nbsp;<a href="#source"><b>SOURCE</b></a></font></td><td class="NavBarCell2"><font size="-2"><a target="_top" href="../../index.html"><b>FRAMES</b></a>&nbsp;|&nbsp;<a target="_top" href="#"><b>NO&nbsp;FRAMES</b></a></font></td></tr></table><hr><h2><span class="smal">http://www.ruleml.org/0.86/xsd</span><br>complexType plex.type</h2><dl><dt>Super Types</dt></dl><pre>{http://www.w3.org/
 2001/XMLSchema}anyType<br>  |<br>  +--<b>{http://www.ruleml.org/0.86/xsd}plex.type</b> (r!
 estriction)<br></pre><hr><dl><dt>Model</dt><dd><tt>&lt;...&gt;<br>  (<
a href="../../http___www.ruleml.org_0.86_xsd/element/_slot.html">_slot</a>*, ((<a href="../../http___www.ruleml.org_0.86_xsd/element/ind.html">ind</a> | <a href="../../http___www.ruleml.org_0.86_xsd/element/var.html">var</a> | <a href="../../http___www.ruleml.org_0.86_xsd/element/cterm.html">cterm</a> | <a href="../../http___www.ruleml.org_0.86_xsd/element/plex.html">plex</a>)+ , <a href="../../http___www.ruleml.org_0.86_xsd/element/_slot.html">_slot</a>*)?  )<br>&lt;/...&gt;</tt></dd></dl><hr><br><a name="elements"></a><table width="100%" cellspacing="0" cellpadding="3" border="1"><tr class="TableHeadingColor" bgcolor="#CCCCFF"><td colspan="2"><font size="+2"><b>Nested Element Summary</b></font></td></tr><tr class="TableRowColor" bgcolor="white"><td width="1" valign="top" align="right"><font size="-1"><code>&nbsp;</code></font></td><td><code><a href="../../http___www.ruleml.org_0.86_xsd
 /element/_slot.html">_slot</a></code><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;!
 &nbsp;&nbsp;</td></tr><tr class="TableRowColor" bgcolor="white"><td width="1" valign="top" align="right"><font size="-1"><code>&nbsp;</code></font></td><td><code><a href="../../http___www.ruleml.org_0.86_xsd/element/_slot.html">_slot</a></code><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</td></tr><tr class="TableRowColor" bgcolor="white"><td width="1" valign="top" align="right"><font size="-1"><code>&nbsp;</code></font></td><td><code><a href="../../http___www.ruleml.org_0.86_xsd/element/cterm.html">cterm</a></code><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</td></tr><tr class="TableRowColor" bgcolor="white"><td width="1" valign="top" align="right"><font size="-1"><code>&nbsp;</code></font></td><td><code><a href="../../http___www.ruleml.org_0.86_xsd/element/ind.html">ind</a></code><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</t
 d></tr><tr class="TableRowColor" bgcolor="white"><td width="1" valign="top" align="right"!
 ><font size="-1"><code>&nbsp;</code></font></td><td><code><a href="../
../http___www.ruleml.org_0.86_xsd/element/plex.html">plex</a></code><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</td></tr><tr class="TableRowColor" bgcolor="white"><td width="1" valign="top" align="right"><font size="-1"><code>&nbsp;</code></font></td><td><code><a href="../../http___www.ruleml.org_0.86_xsd/element/var.html">var</a></code><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</td></tr></table><a name="source"></a><dl><dt>Source</dt><dd><pre xmlns:doc="http://xframe.sf.net/xsddoc/doc" xmlns:net.sf.xframe.xsddoc="http://xframe.sf.net/xsddoc/doc" xmlns:xs="http://www.w3.org/2001/XMLSchema"><div class="code"><span class="oper">&lt;</span><span class="elem">xs:complexType</span> <span class="attr">name</span><span class="oper">="</span><span class="cont">plex.type</span><span class="oper">"</span><span class="oper">&gt;</span><br><div class="code"
 >  <span class="oper">&lt;</span><span class="elem">xs:group</span> <span class="attr">re!
 f</span><span class="oper">="</span><a href="../../http___www.ruleml.org_0.86_xsd/group/plex.content.html"><span class="cont">plex.content</span></a><span class="oper">"</span><span class="oper">/&gt;</span><br></div><div class="code">  <span class="oper">&lt;</span><span class="elem">xs:attributeGroup</span> <span class="attr">ref</span><span class="oper">="</span><a href="../../http___www.ruleml.org_0.86_xsd/attributeGroup/plex.attlist.html"><span class="cont">plex.attlist</span></a><span class="oper">"</span><span class="oper">/&gt;</span><br></div><span class="oper">&lt;/</span><span class="elem">xs:complexType</span><span class="oper">&gt;</span><br></div></pre></dd></dl><hr><table cellpadding="3" cellspacing="0" border="0" width="100%"><tr><td class="NavBarCell1" width="70%" colspan="2"><table cellspacing="3" cellpadding="0" border="0"><tr valign="top" align="center"><td bgcolor="
 #EEEEFF" class="NavBarCell1"><a href="../../schema-summary.html"><font class="NavBarFont1!
 "><b>Overview</b></font></a>&nbsp;</td><td bgcolor="#EEEEFF" class="Na
vBarCell1"><a href="../index.html"><font class="NavBarFont1"><b>Namespace</b></font></a>&nbsp;</td><td class="NavBarCell1Rev" bgcolor="#EEEEFF"><font class="NavBarFont1Rev"><b>Component</b></font>&nbsp;</td><td bgcolor="#EEEEFF" class="NavBarCell1"><a href="../../help-doc.html"><font class="NavBarFont1"><b>Help</b></font></a>&nbsp;</td></tr></table></td><td rowspan="3" valign="top" align="right"><em><b>XML Schema for a Equational-Logic RuleML sublanguage</b></em></td></tr><tr><td class="NavBarCell2"><font size="-2">DETAILS:&nbsp;<a href="#documentation"><b>DOCUMENTATION</b></a>&nbsp;|&nbsp;<a href="#elements"><b>NESTED</b></a>&nbsp;|&nbsp;<a href="#attributes"><b>ATTRIBUTES</b></a>&nbsp;|&nbsp;<a href="#source"><b>SOURCE</b></a></font></td><td class="NavBarCell2"><font size="-2"><a target="_top" href="../../index.html"><b>FRAMES</b></a>&nbsp;|&nbsp;<a target="_top" href="#"><b>NO&nbsp;FR
 AMES</b></a></font></td></tr></table><hr><font size="-1">Submit a <a target="_blank" href!
 ="http://sourceforge.net/tracker/?atid=454391&group_id=48863&func=browse">bug</a> or a <a target="_blank" href="http://sourceforge.net/tracker/?atid=454394&group_id=48863&func=browse">feature</a>.<br>Created by <a href="http://xframe.sourceforge.net/xsddoc.html" target="_blank">xsddoc</a>, a sub project of <a target="_blank" href="http://xframe.sourceforge.net">xframe</a>, hosted at <a target="_blank" href="http://www.sourceforge.net">http://www.sourceforge.net</a>.</font></body></html>
--- NEW FILE: nano.type.html ---
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd">
<html><!-- This file is automaticaly generated by xframe - xsddoc--><!-- hosted at http://xframe.sourceforge.net --><!-- Please do not modify. --><head><META http-equiv="Content-Type" content="text/html; charset=ISO-8859-1"><title>http://www.ruleml.org/0.86/xsd</title><meta content="text/html; charset=ISO-8859-1" http-equiv="Content-Type"><link title="Style" href="../../stylesheet.css" type="text/css" rel="stylesheet"></head><body><table cellpadding="3" cellspacing="0" border="0" width="100%"><tr><td class="NavBarCell1" width="70%" colspan="2"><table cellspacing="3" cellpadding="0" border="0"><tr valign="top" align="center"><td bgcolor="#EEEEFF" class="NavBarCell1"><a href="../../schema-summary.html"><font class="NavBarFont1"><b>Overview</b></font></a>&nbsp;</td><td bgcolor="#EEEEFF" class="NavBarCell1"><a href="../index.html"><font class="NavBarFont1"><b>Namespace</b></font></a>&nbsp;</
 td><td class="NavBarCell1Rev" bgcolor="#EEEEFF"><font class="NavBarFont1Rev"><b>Component!
 </b></font>&nbsp;</td><td bgcolor="#EEEEFF" class="NavBarCell1"><a href="../../help-doc.html"><font class="NavBarFont1"><b>Help</b></font></a>&nbsp;</td></tr></table></td><td rowspan="3" valign="top" align="right"><em><b>XML Schema for a Equational-Logic RuleML sublanguage</b></em></td></tr><tr><td class="NavBarCell2"><font size="-2">DETAILS:&nbsp;<a href="#documentation"><b>DOCUMENTATION</b></a>&nbsp;|&nbsp;<a href="#elements"><b>NESTED</b></a>&nbsp;|&nbsp;<a href="#attributes"><b>ATTRIBUTES</b></a>&nbsp;|&nbsp;<a href="#source"><b>SOURCE</b></a></font></td><td class="NavBarCell2"><font size="-2"><a target="_top" href="../../index.html"><b>FRAMES</b></a>&nbsp;|&nbsp;<a target="_top" href="#"><b>NO&nbsp;FRAMES</b></a></font></td></tr></table><hr><h2><span class="smal">http://www.ruleml.org/0.86/xsd</span><br>complexType nano.type</h2><dl><dt>Super Types</dt></dl><pre>{http://www.w3.org/
 2001/XMLSchema}anyType<br>  |<br>  +--<b>{http://www.ruleml.org/0.86/xsd}nano.type</b> (r!
 estriction)<br></pre><hr><dl><dt>Model</dt><dd><tt>&lt;...&gt;<br>  ((
<a href="../../http___www.ruleml.org_0.86_xsd/element/_opf.html">_opf</a>, (<a href="../../http___www.ruleml.org_0.86_xsd/element/ind.html">ind</a> | <a href="../../http___www.ruleml.org_0.86_xsd/element/var.html">var</a> | <a href="../../http___www.ruleml.org_0.86_xsd/element/cterm.html">cterm</a>)* ) | ((<a href="../../http___www.ruleml.org_0.86_xsd/element/ind.html">ind</a> | <a href="../../http___www.ruleml.org_0.86_xsd/element/var.html">var</a> | <a href="../../http___www.ruleml.org_0.86_xsd/element/cterm.html">cterm</a>)+ , <a href="../../http___www.ruleml.org_0.86_xsd/element/_opf.html">_opf</a>)) <br>&lt;/...&gt;</tt></dd></dl><hr><br><a name="elements"></a><table width="100%" cellspacing="0" cellpadding="3" border="1"><tr class="TableHeadingColor" bgcolor="#CCCCFF"><td colspan="2"><font size="+2"><b>Nested Element Summary</b></font></td></tr><tr class="TableRowColor" bgcolor="wh
 ite"><td width="1" valign="top" align="right"><font size="-1"><code>&nbsp;</code></font><!
 /td><td><code><a href="../../http___www.ruleml.org_0.86_xsd/element/_opf.html">_opf</a></code><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</td></tr><tr class="TableRowColor" bgcolor="white"><td width="1" valign="top" align="right"><font size="-1"><code>&nbsp;</code></font></td><td><code><a href="../../http___www.ruleml.org_0.86_xsd/element/_opf.html">_opf</a></code><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</td></tr><tr class="TableRowColor" bgcolor="white"><td width="1" valign="top" align="right"><font size="-1"><code>&nbsp;</code></font></td><td><code><a href="../../http___www.ruleml.org_0.86_xsd/element/cterm.html">cterm</a></code><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</td></tr><tr class="TableRowColor" bgcolor="white"><td width="1" valign="top" align="right"><font size="-1"><code>&nbsp;</code></font></td><td><code><
 a href="../../http___www.ruleml.org_0.86_xsd/element/cterm.html">cterm</a></code><br>&nbs!
 p;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</td></tr><tr 
class="TableRowColor" bgcolor="white"><td width="1" valign="top" align="right"><font size="-1"><code>&nbsp;</code></font></td><td><code><a href="../../http___www.ruleml.org_0.86_xsd/element/ind.html">ind</a></code><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</td></tr><tr class="TableRowColor" bgcolor="white"><td width="1" valign="top" align="right"><font size="-1"><code>&nbsp;</code></font></td><td><code><a href="../../http___www.ruleml.org_0.86_xsd/element/ind.html">ind</a></code><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</td></tr><tr class="TableRowColor" bgcolor="white"><td width="1" valign="top" align="right"><font size="-1"><code>&nbsp;</code></font></td><td><code><a href="../../http___www.ruleml.org_0.86_xsd/element/var.html">var</a></code><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</td></tr><tr class="TableRowColor" bg
 color="white"><td width="1" valign="top" align="right"><font size="-1"><code>&nbsp;</code!
 ></font></td><td><code><a href="../../http___www.ruleml.org_0.86_xsd/element/var.html">var</a></code><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</td></tr></table><a name="source"></a><dl><dt>Source</dt><dd><pre xmlns:doc="http://xframe.sf.net/xsddoc/doc" xmlns:net.sf.xframe.xsddoc="http://xframe.sf.net/xsddoc/doc" xmlns:xs="http://www.w3.org/2001/XMLSchema"><div class="code"><span class="oper">&lt;</span><span class="elem">xs:complexType</span> <span class="attr">name</span><span class="oper">="</span><span class="cont">nano.type</span><span class="oper">"</span><span class="oper">&gt;</span><br><div class="code">  <span class="oper">&lt;</span><span class="elem">xs:group</span> <span class="attr">ref</span><span class="oper">="</span><a href="../../http___www.ruleml.org_0.86_xsd/group/nano.content.html"><span class="cont">nano.content</span></a><span class="oper">"
 </span><span class="oper">/&gt;</span><br></div><div class="code">  <span class="oper">&l!
 t;</span><span class="elem">xs:attributeGroup</span> <span class="attr
">ref</span><span class="oper">="</span><a href="../../http___www.ruleml.org_0.86_xsd/attributeGroup/nano.attlist.html"><span class="cont">nano.attlist</span></a><span class="oper">"</span><span class="oper">/&gt;</span><br></div><span class="oper">&lt;/</span><span class="elem">xs:complexType</span><span class="oper">&gt;</span><br></div></pre></dd></dl><hr><table cellpadding="3" cellspacing="0" border="0" width="100%"><tr><td class="NavBarCell1" width="70%" colspan="2"><table cellspacing="3" cellpadding="0" border="0"><tr valign="top" align="center"><td bgcolor="#EEEEFF" class="NavBarCell1"><a href="../../schema-summary.html"><font class="NavBarFont1"><b>Overview</b></font></a>&nbsp;</td><td bgcolor="#EEEEFF" class="NavBarCell1"><a href="../index.html"><font class="NavBarFont1"><b>Namespace</b></font></a>&nbsp;</td><td class="NavBarCell1Rev" bgcolor="#EEEEFF"><font class="NavBarFont1Re
 v"><b>Component</b></font>&nbsp;</td><td bgcolor="#EEEEFF" class="NavBarCell1"><a href=".!
 ./../help-doc.html"><font class="NavBarFont1"><b>Help</b></font></a>&nbsp;</td></tr></table></td><td rowspan="3" valign="top" align="right"><em><b>XML Schema for a Equational-Logic RuleML sublanguage</b></em></td></tr><tr><td class="NavBarCell2"><font size="-2">DETAILS:&nbsp;<a href="#documentation"><b>DOCUMENTATION</b></a>&nbsp;|&nbsp;<a href="#elements"><b>NESTED</b></a>&nbsp;|&nbsp;<a href="#attributes"><b>ATTRIBUTES</b></a>&nbsp;|&nbsp;<a href="#source"><b>SOURCE</b></a></font></td><td class="NavBarCell2"><font size="-2"><a target="_top" href="../../index.html"><b>FRAMES</b></a>&nbsp;|&nbsp;<a target="_top" href="#"><b>NO&nbsp;FRAMES</b></a></font></td></tr></table><hr><font size="-1">Submit a <a target="_blank" href="http://sourceforge.net/tracker/?atid=454391&group_id=48863&func=browse">bug</a> or a <a target="_blank" href="http://sourceforge.net/tracker/?atid=454394&group_id=4886
 3&func=browse">feature</a>.<br>Created by <a href="http://xframe.sourceforge.net/xsddoc.h!
 tml" target="_blank">xsddoc</a>, a sub project of <a target="_blank" h
ref="http://xframe.sourceforge.net">xframe</a>, hosted at <a target="_blank" href="http://www.sourceforge.net">http://www.sourceforge.net</a>.</font></body></html>
--- NEW FILE: cterm.type.html ---
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd">
<html><!-- This file is automaticaly generated by xframe - xsddoc--><!-- hosted at http://xframe.sourceforge.net --><!-- Please do not modify. --><head><META http-equiv="Content-Type" content="text/html; charset=ISO-8859-1"><title>http://www.ruleml.org/0.86/xsd</title><meta content="text/html; charset=ISO-8859-1" http-equiv="Content-Type"><link title="Style" href="../../stylesheet.css" type="text/css" rel="stylesheet"></head><body><table cellpadding="3" cellspacing="0" border="0" width="100%"><tr><td class="NavBarCell1" width="70%" colspan="2"><table cellspacing="3" cellpadding="0" border="0"><tr valign="top" align="center"><td bgcolor="#EEEEFF" class="NavBarCell1"><a href="../../schema-summary.html"><font class="NavBarFont1"><b>Overview</b></font></a>&nbsp;</td><td bgcolor="#EEEEFF" class="NavBarCell1"><a href="../index.html"><font class="NavBarFont1"><b>Namespace</b></font></a>&nbsp;</
 td><td class="NavBarCell1Rev" bgcolor="#EEEEFF"><font class="NavBarFont1Rev"><b>Component!
 </b></font>&nbsp;</td><td bgcolor="#EEEEFF" class="NavBarCell1"><a href="../../help-doc.html"><font class="NavBarFont1"><b>Help</b></font></a>&nbsp;</td></tr></table></td><td rowspan="3" valign="top" align="right"><em><b>XML Schema for a Equational-Logic RuleML sublanguage</b></em></td></tr><tr><td class="NavBarCell2"><font size="-2">DETAILS:&nbsp;<a href="#documentation"><b>DOCUMENTATION</b></a>&nbsp;|&nbsp;<a href="#elements"><b>NESTED</b></a>&nbsp;|&nbsp;<a href="#attributes"><b>ATTRIBUTES</b></a>&nbsp;|&nbsp;<a href="#source"><b>SOURCE</b></a></font></td><td class="NavBarCell2"><font size="-2"><a target="_top" href="../../index.html"><b>FRAMES</b></a>&nbsp;|&nbsp;<a target="_top" href="#"><b>NO&nbsp;FRAMES</b></a></font></td></tr></table><hr><h2><span class="smal">http://www.ruleml.org/0.86/xsd</span><br>complexType cterm.type</h2><dl><dt>Super Types</dt></dl><pre>{http://www.w3.org
 /2001/XMLSchema}anyType<br>  |<br>  +--<b>{http://www.ruleml.org/0.86/xsd}cterm.type</b> !
 (restriction)<br></pre><hr><dl><dt>Model</dt><dd><tt>&lt;...<br>&nbsp;
&nbsp;<a href="#attr_type">type</a> = xs:anyURI&gt;<br>  ((<a href="../../http___www.ruleml.org_0.86_xsd/element/_opc.html">_opc</a>, <a href="../../http___www.ruleml.org_0.86_xsd/element/_slot.html">_slot</a>*, ((<a href="../../http___www.ruleml.org_0.86_xsd/element/ind.html">ind</a> | <a href="../../http___www.ruleml.org_0.86_xsd/element/var.html">var</a> | <a href="../../http___www.ruleml.org_0.86_xsd/element/cterm.html">cterm</a> | <a href="../../http___www.ruleml.org_0.86_xsd/element/plex.html">plex</a>)+ , <a href="../../http___www.ruleml.org_0.86_xsd/element/_slot.html">_slot</a>*)?) | (((<a href="../../http___www.ruleml.org_0.86_xsd/element/_slot.html">_slot</a>+, ((<a href="../../http___www.ruleml.org_0.86_xsd/element/ind.html">ind</a> | <a href="../../http___www.ruleml.org_0.86_xsd/element/var.html">var</a> | <a href="../../http___www.ruleml.org_0.86_xsd/element/cterm.html">cte
 rm</a> | <a href="../../http___www.ruleml.org_0.86_xsd/element/plex.html">plex</a>)+ , <a!
  href="../../http___www.ruleml.org_0.86_xsd/element/_slot.html">_slot</a>*)?) | ((<a href="../../http___www.ruleml.org_0.86_xsd/element/ind.html">ind</a> | <a href="../../http___www.ruleml.org_0.86_xsd/element/var.html">var</a> | <a href="../../http___www.ruleml.org_0.86_xsd/element/cterm.html">cterm</a> | <a href="../../http___www.ruleml.org_0.86_xsd/element/plex.html">plex</a>)+ , <a href="../../http___www.ruleml.org_0.86_xsd/element/_slot.html">_slot</a>*)) , <a href="../../http___www.ruleml.org_0.86_xsd/element/_opc.html">_opc</a>)) <br>&lt;/...&gt;</tt></dd></dl><hr><br><a name="elements"></a><table width="100%" cellspacing="0" cellpadding="3" border="1"><tr class="TableHeadingColor" bgcolor="#CCCCFF"><td colspan="2"><font size="+2"><b>Nested Element Summary</b></font></td></tr><tr class="TableRowColor" bgcolor="white"><td width="1" valign="top" align="right"><font size="-1"><code>
 &nbsp;</code></font></td><td><code><a href="../../http___www.ruleml.org_0.86_xsd/element/!
 _opc.html">_opc</a></code><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbs
p;&nbsp;&nbsp;&nbsp;</td></tr><tr class="TableRowColor" bgcolor="white"><td width="1" valign="top" align="right"><font size="-1"><code>&nbsp;</code></font></td><td><code><a href="../../http___www.ruleml.org_0.86_xsd/element/_opc.html">_opc</a></code><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</td></tr><tr class="TableRowColor" bgcolor="white"><td width="1" valign="top" align="right"><font size="-1"><code>&nbsp;</code></font></td><td><code><a href="../../http___www.ruleml.org_0.86_xsd/element/_slot.html">_slot</a></code><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</td></tr><tr class="TableRowColor" bgcolor="white"><td width="1" valign="top" align="right"><font size="-1"><code>&nbsp;</code></font></td><td><code><a href="../../http___www.ruleml.org_0.86_xsd/element/_slot.html">_slot</a></code><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;
 &nbsp;</td></tr><tr class="TableRowColor" bgcolor="white"><td width="1" valign="top" alig!
 n="right"><font size="-1"><code>&nbsp;</code></font></td><td><code><a href="../../http___www.ruleml.org_0.86_xsd/element/_slot.html">_slot</a></code><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</td></tr><tr class="TableRowColor" bgcolor="white"><td width="1" valign="top" align="right"><font size="-1"><code>&nbsp;</code></font></td><td><code><a href="../../http___www.ruleml.org_0.86_xsd/element/_slot.html">_slot</a></code><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</td></tr><tr class="TableRowColor" bgcolor="white"><td width="1" valign="top" align="right"><font size="-1"><code>&nbsp;</code></font></td><td><code><a href="../../http___www.ruleml.org_0.86_xsd/element/_slot.html">_slot</a></code><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</td></tr><tr class="TableRowColor" bgcolor="white"><td width="1" valign="top" align="right"><
 font size="-1"><code>&nbsp;</code></font></td><td><code><a href="../../http___www.ruleml.!
 org_0.86_xsd/element/cterm.html">cterm</a></code><br>&nbsp;&nbsp;&nbsp
;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</td></tr><tr class="TableRowColor" bgcolor="white"><td width="1" valign="top" align="right"><font size="-1"><code>&nbsp;</code></font></td><td><code><a href="../../http___www.ruleml.org_0.86_xsd/element/cterm.html">cterm</a></code><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</td></tr><tr class="TableRowColor" bgcolor="white"><td width="1" valign="top" align="right"><font size="-1"><code>&nbsp;</code></font></td><td><code><a href="../../http___www.ruleml.org_0.86_xsd/element/cterm.html">cterm</a></code><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</td></tr><tr class="TableRowColor" bgcolor="white"><td width="1" valign="top" align="right"><font size="-1"><code>&nbsp;</code></font></td><td><code><a href="../../http___www.ruleml.org_0.86_xsd/element/ind.html">ind</a></code><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nb
 sp;&nbsp;&nbsp;&nbsp;&nbsp;</td></tr><tr class="TableRowColor" bgcolor="white"><td width=!
 "1" valign="top" align="right"><font size="-1"><code>&nbsp;</code></font></td><td><code><a href="../../http___www.ruleml.org_0.86_xsd/element/ind.html">ind</a></code><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</td></tr><tr class="TableRowColor" bgcolor="white"><td width="1" valign="top" align="right"><font size="-1"><code>&nbsp;</code></font></td><td><code><a href="../../http___www.ruleml.org_0.86_xsd/element/ind.html">ind</a></code><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</td></tr><tr class="TableRowColor" bgcolor="white"><td width="1" valign="top" align="right"><font size="-1"><code>&nbsp;</code></font></td><td><code><a href="../../http___www.ruleml.org_0.86_xsd/element/plex.html">plex</a></code><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</td></tr><tr class="TableRowColor" bgcolor="white"><td width="1" valign="top" alig
 n="right"><font size="-1"><code>&nbsp;</code></font></td><td><code><a href="../../http___!
 www.ruleml.org_0.86_xsd/element/plex.html">plex</a></code><br>&nbsp;&n
bsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</td></tr><tr class="TableRowColor" bgcolor="white"><td width="1" valign="top" align="right"><font size="-1"><code>&nbsp;</code></font></td><td><code><a href="../../http___www.ruleml.org_0.86_xsd/element/plex.html">plex</a></code><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</td></tr><tr class="TableRowColor" bgcolor="white"><td width="1" valign="top" align="right"><font size="-1"><code>&nbsp;</code></font></td><td><code><a href="../../http___www.ruleml.org_0.86_xsd/element/var.html">var</a></code><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</td></tr><tr class="TableRowColor" bgcolor="white"><td width="1" valign="top" align="right"><font size="-1"><code>&nbsp;</code></font></td><td><code><a href="../../http___www.ruleml.org_0.86_xsd/element/var.html">var</a></code><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;
 &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</td></tr><tr class="TableRowColor" bgcolor="white"><td wid!
 th="1" valign="top" align="right"><font size="-1"><code>&nbsp;</code></font></td><td><code><a href="../../http___www.ruleml.org_0.86_xsd/element/var.html">var</a></code><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</td></tr></table><br><a name="attributes"></a><table width="100%" cellspacing="0" cellpadding="3" border="1"><tr class="TableHeadingColor" bgcolor="#CCCCFF"><td colspan="2"><font size="+2"><b>Attribute Summary</b></font></td></tr><tr class="TableRowColor" bgcolor="white"><td width="1" valign="top" align="right"><font size="-1"><code>&nbsp;xs:anyURI</code></font></td><td><code><a href="#attr_type">type</a></code><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</td></tr></table><br><table width="100%" cellspacing="0" cellpadding="3" border="1"><tr class="TableHeadingColor" bgcolor="#CCCCFF"><td colspan="2"><font size="+2"><b>Attribute Detail</
 b></font></td></tr></table><a name="attr_type"></a><h3>type</h3><dl><dl><dt>Type:</dt><dd!
 ><code>xs:anyURI</code></dd></dl><dl><dt>Use:</dt><dd><code>optional</
code></dd></dl><dl><dt>Form:</dt><dd><code>unqualified</code></dd></dl></dl><hr><a name="source"></a><dl><dt>Source</dt><dd><pre xmlns:doc="http://xframe.sf.net/xsddoc/doc" xmlns:net.sf.xframe.xsddoc="http://xframe.sf.net/xsddoc/doc" xmlns:xs="http://www.w3.org/2001/XMLSchema"><div class="code"><span class="oper">&lt;</span><span class="elem">xs:complexType</span> <span class="attr">name</span><span class="oper">="</span><span class="cont">cterm.type</span><span class="oper">"</span><span class="oper">&gt;</span><br><div class="code">  <span class="oper">&lt;</span><span class="elem">xs:group</span> <span class="attr">ref</span><span class="oper">="</span><a href="../../http___www.ruleml.org_0.86_xsd/group/cterm.content.html"><span class="cont">cterm.content</span></a><span class="oper">"</span><span class="oper">/&gt;</span><br></div><div class="code">  <span class="oper">&lt;</span><sp
 an class="elem">xs:attributeGroup</span> <span class="attr">ref</span><span class="oper">!
 ="</span><a href="../../http___www.ruleml.org_0.86_xsd/attributeGroup/cterm.attlist.html"><span class="cont">cterm.attlist</span></a><span class="oper">"</span><span class="oper">/&gt;</span><br></div><span class="oper">&lt;/</span><span class="elem">xs:complexType</span><span class="oper">&gt;</span><br></div></pre></dd></dl><hr><table cellpadding="3" cellspacing="0" border="0" width="100%"><tr><td class="NavBarCell1" width="70%" colspan="2"><table cellspacing="3" cellpadding="0" border="0"><tr valign="top" align="center"><td bgcolor="#EEEEFF" class="NavBarCell1"><a href="../../schema-summary.html"><font class="NavBarFont1"><b>Overview</b></font></a>&nbsp;</td><td bgcolor="#EEEEFF" class="NavBarCell1"><a href="../index.html"><font class="NavBarFont1"><b>Namespace</b></font></a>&nbsp;</td><td class="NavBarCell1Rev" bgcolor="#EEEEFF"><font class="NavBarFont1Rev"><b>Component</b></font>&n
 bsp;</td><td bgcolor="#EEEEFF" class="NavBarCell1"><a href="../../help-doc.html"><font cl!
 ass="NavBarFont1"><b>Help</b></font></a>&nbsp;</td></tr></table></td><
td rowspan="3" valign="top" align="right"><em><b>XML Schema for a Equational-Logic RuleML sublanguage</b></em></td></tr><tr><td class="NavBarCell2"><font size="-2">DETAILS:&nbsp;<a href="#documentation"><b>DOCUMENTATION</b></a>&nbsp;|&nbsp;<a href="#elements"><b>NESTED</b></a>&nbsp;|&nbsp;<a href="#attributes"><b>ATTRIBUTES</b></a>&nbsp;|&nbsp;<a href="#source"><b>SOURCE</b></a></font></td><td class="NavBarCell2"><font size="-2"><a target="_top" href="../../index.html"><b>FRAMES</b></a>&nbsp;|&nbsp;<a target="_top" href="#"><b>NO&nbsp;FRAMES</b></a></font></td></tr></table><hr><font size="-1">Submit a <a target="_blank" href="http://sourceforge.net/tracker/?atid=454391&group_id=48863&func=browse">bug</a> or a <a target="_blank" href="http://sourceforge.net/tracker/?atid=454394&group_id=48863&func=browse">feature</a>.<br>Created by <a href="http://xframe.sourceforge.net/xsddoc.html" targe
 t="_blank">xsddoc</a>, a sub project of <a target="_blank" href="http://xframe.sourceforg!
 e.net">xframe</a>, hosted at <a target="_blank" href="http://www.sourceforge.net">http://www.sourceforge.net</a>.</font></body></html>
--- NEW FILE: var.type.html ---
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd">
<html><!-- This file is automaticaly generated by xframe - xsddoc--><!-- hosted at http://xframe.sourceforge.net --><!-- Please do not modify. --><head><META http-equiv="Content-Type" content="text/html; charset=ISO-8859-1"><title>http://www.ruleml.org/0.86/xsd</title><meta content="text/html; charset=ISO-8859-1" http-equiv="Content-Type"><link title="Style" href="../../stylesheet.css" type="text/css" rel="stylesheet"></head><body><table cellpadding="3" cellspacing="0" border="0" width="100%"><tr><td class="NavBarCell1" width="70%" colspan="2"><table cellspacing="3" cellpadding="0" border="0"><tr valign="top" align="center"><td bgcolor="#EEEEFF" class="NavBarCell1"><a href="../../schema-summary.html"><font class="NavBarFont1"><b>Overview</b></font></a>&nbsp;</td><td bgcolor="#EEEEFF" class="NavBarCell1"><a href="../index.html"><font class="NavBarFont1"><b>Namespace</b></font></a>&nbsp;</
 td><td class="NavBarCell1Rev" bgcolor="#EEEEFF"><font class="NavBarFont1Rev"><b>Component!
 </b></font>&nbsp;</td><td bgcolor="#EEEEFF" class="NavBarCell1"><a href="../../help-doc.html"><font class="NavBarFont1"><b>Help</b></font></a>&nbsp;</td></tr></table></td><td rowspan="3" valign="top" align="right"><em><b>XML Schema for a Equational-Logic RuleML sublanguage</b></em></td></tr><tr><td class="NavBarCell2"><font size="-2">DETAILS:&nbsp;<a href="#documentation"><b>DOCUMENTATION</b></a>&nbsp;|&nbsp;<a href="#elements"><b>NESTED</b></a>&nbsp;|&nbsp;<a href="#attributes"><b>ATTRIBUTES</b></a>&nbsp;|&nbsp;<a href="#source"><b>SOURCE</b></a></font></td><td class="NavBarCell2"><font size="-2"><a target="_top" href="../../index.html"><b>FRAMES</b></a>&nbsp;|&nbsp;<a target="_top" href="#"><b>NO&nbsp;FRAMES</b></a></font></td></tr></table><hr><h2><span class="smal">http://www.ruleml.org/0.86/xsd</span><br>complexType var.type</h2><dl><dt>Super Types</dt></dl><pre>{http://www.w3.org/2
 001/XMLSchema}anyType<br>  |<br>  +--<b>{http://www.ruleml.org/0.86/xsd}var.type</b> (res!
 triction)<br></pre><hr><dl><dt>Model</dt><dd><tt>&lt;...<br>&nbsp;&nbs
p;<a href="#attr_type">type</a> = xs:anyURI&gt;<br>    <br>&lt;/...&gt;</tt></dd></dl><hr><br><a name="attributes"></a><table width="100%" cellspacing="0" cellpadding="3" border="1"><tr class="TableHeadingColor" bgcolor="#CCCCFF"><td colspan="2"><font size="+2"><b>Attribute Summary</b></font></td></tr><tr class="TableRowColor" bgcolor="white"><td width="1" valign="top" align="right"><font size="-1"><code>&nbsp;xs:anyURI</code></font></td><td><code><a href="#attr_type">type</a></code><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</td></tr></table><br><table width="100%" cellspacing="0" cellpadding="3" border="1"><tr class="TableHeadingColor" bgcolor="#CCCCFF"><td colspan="2"><font size="+2"><b>Attribute Detail</b></font></td></tr></table><a name="attr_type"></a><h3>type</h3><dl><dl><dt>Type:</dt><dd><code>xs:anyURI</code></dd></dl><dl><dt>Use:</dt><dd><code>optional</cod
 e></dd></dl><dl><dt>Form:</dt><dd><code>unqualified</code></dd></dl></dl><hr><a name="sou!
 rce"></a><dl><dt>Source</dt><dd><pre xmlns:doc="http://xframe.sf.net/xsddoc/doc" xmlns:net.sf.xframe.xsddoc="http://xframe.sf.net/xsddoc/doc" xmlns:xs="http://www.w3.org/2001/XMLSchema"><div class="code"><span class="oper">&lt;</span><span class="elem">xs:complexType</span> <span class="attr">mixed</span><span class="oper">="</span><span class="cont">true</span><span class="oper">"</span> <span class="attr">name</span><span class="oper">="</span><span class="cont">var.type</span><span class="oper">"</span><span class="oper">&gt;</span><br><div class="code">  <span class="oper">&lt;</span><span class="elem">xs:group</span> <span class="attr">ref</span><span class="oper">="</span><a href="../../http___www.ruleml.org_0.86_xsd/group/var.content.html"><span class="cont">var.content</span></a><span class="oper">"</span><span class="oper">/&gt;</span><br></div><div class="code">  <span class="
 oper">&lt;</span><span class="elem">xs:attributeGroup</span> <span class="attr">ref</span!
 ><span class="oper">="</span><a href="../../http___www.ruleml.org_0.86
_xsd/attributeGroup/var.attlist.html"><span class="cont">var.attlist</span></a><span class="oper">"</span><span class="oper">/&gt;</span><br></div><span class="oper">&lt;/</span><span class="elem">xs:complexType</span><span class="oper">&gt;</span><br></div></pre></dd></dl><hr><table cellpadding="3" cellspacing="0" border="0" width="100%"><tr><td class="NavBarCell1" width="70%" colspan="2"><table cellspacing="3" cellpadding="0" border="0"><tr valign="top" align="center"><td bgcolor="#EEEEFF" class="NavBarCell1"><a href="../../schema-summary.html"><font class="NavBarFont1"><b>Overview</b></font></a>&nbsp;</td><td bgcolor="#EEEEFF" class="NavBarCell1"><a href="../index.html"><font class="NavBarFont1"><b>Namespace</b></font></a>&nbsp;</td><td class="NavBarCell1Rev" bgcolor="#EEEEFF"><font class="NavBarFont1Rev"><b>Component</b></font>&nbsp;</td><td bgcolor="#EEEEFF" class="NavBarCell1"><a h
 ref="../../help-doc.html"><font class="NavBarFont1"><b>Help</b></font></a>&nbsp;</td></tr!
 ></table></td><td rowspan="3" valign="top" align="right"><em><b>XML Schema for a Equational-Logic RuleML sublanguage</b></em></td></tr><tr><td class="NavBarCell2"><font size="-2">DETAILS:&nbsp;<a href="#documentation"><b>DOCUMENTATION</b></a>&nbsp;|&nbsp;<a href="#elements"><b>NESTED</b></a>&nbsp;|&nbsp;<a href="#attributes"><b>ATTRIBUTES</b></a>&nbsp;|&nbsp;<a href="#source"><b>SOURCE</b></a></font></td><td class="NavBarCell2"><font size="-2"><a target="_top" href="../../index.html"><b>FRAMES</b></a>&nbsp;|&nbsp;<a target="_top" href="#"><b>NO&nbsp;FRAMES</b></a></font></td></tr></table><hr><font size="-1">Submit a <a target="_blank" href="http://sourceforge.net/tracker/?atid=454391&group_id=48863&func=browse">bug</a> or a <a target="_blank" href="http://sourceforge.net/tracker/?atid=454394&group_id=48863&func=browse">feature</a>.<br>Created by <a href="http://xframe.sourceforge.net/xs
 ddoc.html" target="_blank">xsddoc</a>, a sub project of <a target="_blank" href="http://x!
 frame.sourceforge.net">xframe</a>, hosted at <a target="_blank" href="
http://www.sourceforge.net">http://www.sourceforge.net</a>.</font></body></html>
--- NEW FILE: ctor.type.html ---
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd">
<html><!-- This file is automaticaly generated by xframe - xsddoc--><!-- hosted at http://xframe.sourceforge.net --><!-- Please do not modify. --><head><META http-equiv="Content-Type" content="text/html; charset=ISO-8859-1"><title>http://www.ruleml.org/0.86/xsd</title><meta content="text/html; charset=ISO-8859-1" http-equiv="Content-Type"><link title="Style" href="../../stylesheet.css" type="text/css" rel="stylesheet"></head><body><table cellpadding="3" cellspacing="0" border="0" width="100%"><tr><td class="NavBarCell1" width="70%" colspan="2"><table cellspacing="3" cellpadding="0" border="0"><tr valign="top" align="center"><td bgcolor="#EEEEFF" class="NavBarCell1"><a href="../../schema-summary.html"><font class="NavBarFont1"><b>Overview</b></font></a>&nbsp;</td><td bgcolor="#EEEEFF" class="NavBarCell1"><a href="../index.html"><font class="NavBarFont1"><b>Namespace</b></font></a>&nbsp;</
 td><td class="NavBarCell1Rev" bgcolor="#EEEEFF"><font class="NavBarFont1Rev"><b>Component!
 </b></font>&nbsp;</td><td bgcolor="#EEEEFF" class="NavBarCell1"><a href="../../help-doc.html"><font class="NavBarFont1"><b>Help</b></font></a>&nbsp;</td></tr></table></td><td rowspan="3" valign="top" align="right"><em><b>XML Schema for a Equational-Logic RuleML sublanguage</b></em></td></tr><tr><td class="NavBarCell2"><font size="-2">DETAILS:&nbsp;<a href="#documentation"><b>DOCUMENTATION</b></a>&nbsp;|&nbsp;<a href="#elements"><b>NESTED</b></a>&nbsp;|&nbsp;<a href="#attributes"><b>ATTRIBUTES</b></a>&nbsp;|&nbsp;<a href="#source"><b>SOURCE</b></a></font></td><td class="NavBarCell2"><font size="-2"><a target="_top" href="../../index.html"><b>FRAMES</b></a>&nbsp;|&nbsp;<a target="_top" href="#"><b>NO&nbsp;FRAMES</b></a></font></td></tr></table><hr><h2><span class="smal">http://www.ruleml.org/0.86/xsd</span><br>complexType ctor.type</h2><dl><dt>Super Types</dt></dl><pre>{http://www.w3.org/
 2001/XMLSchema}anyType<br>  |<br>  +--<b>{http://www.ruleml.org/0.86/xsd}ctor.type</b> (r!
 estriction)<br></pre><hr><dl><dt>Model</dt><dd><tt>&lt;...&gt;<br>    
<br>&lt;/...&gt;</tt></dd></dl><hr><a name="source"></a><dl><dt>Source</dt><dd><pre xmlns:doc="http://xframe.sf.net/xsddoc/doc" xmlns:net.sf.xframe.xsddoc="http://xframe.sf.net/xsddoc/doc" xmlns:xs="http://www.w3.org/2001/XMLSchema"><div class="code"><span class="oper">&lt;</span><span class="elem">xs:complexType</span> <span class="attr">mixed</span><span class="oper">="</span><span class="cont">true</span><span class="oper">"</span> <span class="attr">name</span><span class="oper">="</span><span class="cont">ctor.type</span><span class="oper">"</span><span class="oper">&gt;</span><br><div class="code">  <span class="oper">&lt;</span><span class="elem">xs:group</span> <span class="attr">ref</span><span class="oper">="</span><a href="../../http___www.ruleml.org_0.86_xsd/group/ctor.content.html"><span class="cont">ctor.content</span></a><span class="oper">"</span><span class="oper">/&gt;<
 /span><br></div><div class="code">  <span class="oper">&lt;</span><span class="elem">xs:a!
 ttributeGroup</span> <span class="attr">ref</span><span class="oper">="</span><a href="../../http___www.ruleml.org_0.86_xsd/attributeGroup/ctor.attlist.html"><span class="cont">ctor.attlist</span></a><span class="oper">"</span><span class="oper">/&gt;</span><br></div><span class="oper">&lt;/</span><span class="elem">xs:complexType</span><span class="oper">&gt;</span><br></div></pre></dd></dl><hr><table cellpadding="3" cellspacing="0" border="0" width="100%"><tr><td class="NavBarCell1" width="70%" colspan="2"><table cellspacing="3" cellpadding="0" border="0"><tr valign="top" align="center"><td bgcolor="#EEEEFF" class="NavBarCell1"><a href="../../schema-summary.html"><font class="NavBarFont1"><b>Overview</b></font></a>&nbsp;</td><td bgcolor="#EEEEFF" class="NavBarCell1"><a href="../index.html"><font class="NavBarFont1"><b>Namespace</b></font></a>&nbsp;</td><td class="NavBarCell1Rev" bgcol
 or="#EEEEFF"><font class="NavBarFont1Rev"><b>Component</b></font>&nbsp;</td><td bgcolor="!
 #EEEEFF" class="NavBarCell1"><a href="../../help-doc.html"><font class
="NavBarFont1"><b>Help</b></font></a>&nbsp;</td></tr></table></td><td rowspan="3" valign="top" align="right"><em><b>XML Schema for a Equational-Logic RuleML sublanguage</b></em></td></tr><tr><td class="NavBarCell2"><font size="-2">DETAILS:&nbsp;<a href="#documentation"><b>DOCUMENTATION</b></a>&nbsp;|&nbsp;<a href="#elements"><b>NESTED</b></a>&nbsp;|&nbsp;<a href="#attributes"><b>ATTRIBUTES</b></a>&nbsp;|&nbsp;<a href="#source"><b>SOURCE</b></a></font></td><td class="NavBarCell2"><font size="-2"><a target="_top" href="../../index.html"><b>FRAMES</b></a>&nbsp;|&nbsp;<a target="_top" href="#"><b>NO&nbsp;FRAMES</b></a></font></td></tr></table><hr><font size="-1">Submit a <a target="_blank" href="http://sourceforge.net/tracker/?atid=454391&group_id=48863&func=browse">bug</a> or a <a target="_blank" href="http://sourceforge.net/tracker/?atid=454394&group_id=48863&func=browse">feature</a>.<br>C
 reated by <a href="http://xframe.sourceforge.net/xsddoc.html" target="_blank">xsddoc</a>,!
  a sub project of <a target="_blank" href="http://xframe.sourceforge.net">xframe</a>, hosted at <a target="_blank" href="http://www.sourceforge.net">http://www.sourceforge.net</a>.</font></body></html>
--- NEW FILE: _head.type.html ---
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd">
<html><!-- This file is automaticaly generated by xframe - xsddoc--><!-- hosted at http://xframe.sourceforge.net --><!-- Please do not modify. --><head><META http-equiv="Content-Type" content="text/html; charset=ISO-8859-1"><title>http://www.ruleml.org/0.86/xsd</title><meta content="text/html; charset=ISO-8859-1" http-equiv="Content-Type"><link title="Style" href="../../stylesheet.css" type="text/css" rel="stylesheet"></head><body><table cellpadding="3" cellspacing="0" border="0" width="100%"><tr><td class="NavBarCell1" width="70%" colspan="2"><table cellspacing="3" cellpadding="0" border="0"><tr valign="top" align="center"><td bgcolor="#EEEEFF" class="NavBarCell1"><a href="../../schema-summary.html"><font class="NavBarFont1"><b>Overview</b></font></a>&nbsp;</td><td bgcolor="#EEEEFF" class="NavBarCell1"><a href="../index.html"><font class="NavBarFont1"><b>Namespace</b></font></a>&nbsp;</
 td><td class="NavBarCell1Rev" bgcolor="#EEEEFF"><font class="NavBarFont1Rev"><b>Component!
 </b></font>&nbsp;</td><td bgcolor="#EEEEFF" class="NavBarCell1"><a href="../../help-doc.html"><font class="NavBarFont1"><b>Help</b></font></a>&nbsp;</td></tr></table></td><td rowspan="3" valign="top" align="right"><em><b>XML Schema for a Equational-Logic RuleML sublanguage</b></em></td></tr><tr><td class="NavBarCell2"><font size="-2">DETAILS:&nbsp;<a href="#documentation"><b>DOCUMENTATION</b></a>&nbsp;|&nbsp;<a href="#elements"><b>NESTED</b></a>&nbsp;|&nbsp;<a href="#attributes"><b>ATTRIBUTES</b></a>&nbsp;|&nbsp;<a href="#source"><b>SOURCE</b></a></font></td><td class="NavBarCell2"><font size="-2"><a target="_top" href="../../index.html"><b>FRAMES</b></a>&nbsp;|&nbsp;<a target="_top" href="#"><b>NO&nbsp;FRAMES</b></a></font></td></tr></table><hr><h2><span class="smal">http://www.ruleml.org/0.86/xsd</span><br>complexType _head.type</h2><dl><dt>Super Types</dt></dl><pre>{http://www.w3.org
 /2001/XMLSchema}anyType<br>  |<br>  +--<b>{http://www.ruleml.org/0.86/xsd}_head.type</b> !
 (restriction)<br></pre><hr><dl><dt>Model</dt><dd><tt>&lt;...&gt;<br>  
(<a href="../../http___www.ruleml.org_0.86_xsd/element/atom.html">atom</a>  | <a href="../../http___www.ruleml.org_0.86_xsd/element/eq.html">eq</a>) <br>&lt;/...&gt;</tt></dd></dl><hr><br><a name="elements"></a><table width="100%" cellspacing="0" cellpadding="3" border="1"><tr class="TableHeadingColor" bgcolor="#CCCCFF"><td colspan="2"><font size="+2"><b>Nested Element Summary</b></font></td></tr><tr class="TableRowColor" bgcolor="white"><td width="1" valign="top" align="right"><font size="-1"><code>&nbsp;</code></font></td><td><code><a href="../../http___www.ruleml.org_0.86_xsd/element/atom.html">atom</a></code><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</td></tr><tr class="TableRowColor" bgcolor="white"><td width="1" valign="top" align="right"><font size="-1"><code>&nbsp;</code></font></td><td><code><a href="../../http___www.ruleml.org_0.86_xsd/element/eq.html">eq<
 /a></code><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</td></tr></tab!
 le><a name="source"></a><dl><dt>Source</dt><dd><pre xmlns:doc="http://xframe.sf.net/xsddoc/doc" xmlns:net.sf.xframe.xsddoc="http://xframe.sf.net/xsddoc/doc" xmlns:xs="http://www.w3.org/2001/XMLSchema"><div class="code"><span class="oper">&lt;</span><span class="elem">xs:complexType</span> <span class="attr">name</span><span class="oper">="</span><span class="cont">_head.type</span><span class="oper">"</span><span class="oper">&gt;</span><br><div class="code">  <span class="oper">&lt;</span><span class="elem">xs:group</span> <span class="attr">ref</span><span class="oper">="</span><a href="../../http___www.ruleml.org_0.86_xsd/group/_head.content.html"><span class="cont">_head.content</span></a><span class="oper">"</span><span class="oper">/&gt;</span><br></div><div class="code">  <span class="oper">&lt;</span><span class="elem">xs:attributeGroup</span> <span class="attr">ref</span><span 
 class="oper">="</span><a href="../../http___www.ruleml.org_0.86_xsd/attributeGroup/_head.!
 attlist.html"><span class="cont">_head.attlist</span></a><span class="
oper">"</span><span class="oper">/&gt;</span><br></div><span class="oper">&lt;/</span><span class="elem">xs:complexType</span><span class="oper">&gt;</span><br></div></pre></dd></dl><hr><table cellpadding="3" cellspacing="0" border="0" width="100%"><tr><td class="NavBarCell1" width="70%" colspan="2"><table cellspacing="3" cellpadding="0" border="0"><tr valign="top" align="center"><td bgcolor="#EEEEFF" class="NavBarCell1"><a href="../../schema-summary.html"><font class="NavBarFont1"><b>Overview</b></font></a>&nbsp;</td><td bgcolor="#EEEEFF" class="NavBarCell1"><a href="../index.html"><font class="NavBarFont1"><b>Namespace</b></font></a>&nbsp;</td><td class="NavBarCell1Rev" bgcolor="#EEEEFF"><font class="NavBarFont1Rev"><b>Component</b></font>&nbsp;</td><td bgcolor="#EEEEFF" class="NavBarCell1"><a href="../../help-doc.html"><font class="NavBarFont1"><b>Help</b></font></a>&nbsp;</td></tr></
 table></td><td rowspan="3" valign="top" align="right"><em><b>XML Schema for a Equational-!
 Logic RuleML sublanguage</b></em></td></tr><tr><td class="NavBarCell2"><font size="-2">DETAILS:&nbsp;<a href="#documentation"><b>DOCUMENTATION</b></a>&nbsp;|&nbsp;<a href="#elements"><b>NESTED</b></a>&nbsp;|&nbsp;<a href="#attributes"><b>ATTRIBUTES</b></a>&nbsp;|&nbsp;<a href="#source"><b>SOURCE</b></a></font></td><td class="NavBarCell2"><font size="-2"><a target="_top" href="../../index.html"><b>FRAMES</b></a>&nbsp;|&nbsp;<a target="_top" href="#"><b>NO&nbsp;FRAMES</b></a></font></td></tr></table><hr><font size="-1">Submit a <a target="_blank" href="http://sourceforge.net/tracker/?atid=454391&group_id=48863&func=browse">bug</a> or a <a target="_blank" href="http://sourceforge.net/tracker/?atid=454394&group_id=48863&func=browse">feature</a>.<br>Created by <a href="http://xframe.sourceforge.net/xsddoc.html" target="_blank">xsddoc</a>, a sub project of <a target="_blank" href="http://xfra
 me.sourceforge.net">xframe</a>, hosted at <a target="_blank" href="http://www.sourceforge!
 .net">http://www.sourceforge.net</a>.</font></body></html>
--- NEW FILE: imp.type.html ---
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd">
<html><!-- This file is automaticaly generated by xframe - xsddoc--><!-- hosted at http://xframe.sourceforge.net --><!-- Please do not modify. --><head><META http-equiv="Content-Type" content="text/html; charset=ISO-8859-1"><title>http://www.ruleml.org/0.86/xsd</title><meta content="text/html; charset=ISO-8859-1" http-equiv="Content-Type"><link title="Style" href="../../stylesheet.css" type="text/css" rel="stylesheet"></head><body><table cellpadding="3" cellspacing="0" border="0" width="100%"><tr><td class="NavBarCell1" width="70%" colspan="2"><table cellspacing="3" cellpadding="0" border="0"><tr valign="top" align="center"><td bgcolor="#EEEEFF" class="NavBarCell1"><a href="../../schema-summary.html"><font class="NavBarFont1"><b>Overview</b></font></a>&nbsp;</td><td bgcolor="#EEEEFF" class="NavBarCell1"><a href="../index.html"><font class="NavBarFont1"><b>Namespace</b></font></a>&nbsp;</
 td><td class="NavBarCell1Rev" bgcolor="#EEEEFF"><font class="NavBarFont1Rev"><b>Component!
 </b></font>&nbsp;</td><td bgcolor="#EEEEFF" class="NavBarCell1"><a href="../../help-doc.html"><font class="NavBarFont1"><b>Help</b></font></a>&nbsp;</td></tr></table></td><td rowspan="3" valign="top" align="right"><em><b>XML Schema for a Equational-Logic RuleML sublanguage</b></em></td></tr><tr><td class="NavBarCell2"><font size="-2">DETAILS:&nbsp;<a href="#documentation"><b>DOCUMENTATION</b></a>&nbsp;|&nbsp;<a href="#elements"><b>NESTED</b></a>&nbsp;|&nbsp;<a href="#attributes"><b>ATTRIBUTES</b></a>&nbsp;|&nbsp;<a href="#source"><b>SOURCE</b></a></font></td><td class="NavBarCell2"><font size="-2"><a target="_top" href="../../index.html"><b>FRAMES</b></a>&nbsp;|&nbsp;<a target="_top" href="#"><b>NO&nbsp;FRAMES</b></a></font></td></tr></table><hr><h2><span class="smal">http://www.ruleml.org/0.86/xsd</span><br>complexType imp.type</h2><dl><dt>Super Types</dt></dl><pre>{http://www.w3.org/2
 001/XMLSchema}anyType<br>  |<br>  +--<b>{http://www.ruleml.org/0.86/xsd}imp.type</b> (res!
 triction)<br></pre><hr><dl><dt>Model</dt><dd><tt>&lt;...&gt;<br>  ((<a
 href="../../http___www.ruleml.org_0.86_xsd/element/_rlab.html">_rlab</a>, ((<a href="../../http___www.ruleml.org_0.86_xsd/element/_head.html">_head</a>, <a href="../../http___www.ruleml.org_0.86_xsd/element/_body.html">_body</a>) | (<a href="../../http___www.ruleml.org_0.86_xsd/element/_body.html">_body</a>, <a href="../../http___www.ruleml.org_0.86_xsd/element/_head.html">_head</a>)) ) | (<a href="../../http___www.ruleml.org_0.86_xsd/element/_head.html">_head</a>, ((<a href="../../http___www.ruleml.org_0.86_xsd/element/_rlab.html">_rlab</a>, <a href="../../http___www.ruleml.org_0.86_xsd/element/_body.html">_body</a>) | (<a href="../../http___www.ruleml.org_0.86_xsd/element/_body.html">_body</a>, <a href="../../http___www.ruleml.org_0.86_xsd/element/_rlab.html">_rlab</a>?)) ) | (<a href="../../http___www.ruleml.org_0.86_xsd/element/_body.html">_body</a>, ((<a href="../../http___www.rule
 ml.org_0.86_xsd/element/_rlab.html">_rlab</a>, <a href="../../http___www.ruleml.org_0.86_!
 xsd/element/_head.html">_head</a>) | (<a href="../../http___www.ruleml.org_0.86_xsd/element/_head.html">_head</a>, <a href="../../http___www.ruleml.org_0.86_xsd/element/_rlab.html">_rlab</a>?)) )) <br>&lt;/...&gt;</tt></dd></dl><hr><br><a name="elements"></a><table width="100%" cellspacing="0" cellpadding="3" border="1"><tr class="TableHeadingColor" bgcolor="#CCCCFF"><td colspan="2"><font size="+2"><b>Nested Element Summary</b></font></td></tr><tr class="TableRowColor" bgcolor="white"><td width="1" valign="top" align="right"><font size="-1"><code>&nbsp;</code></font></td><td><code><a href="../../http___www.ruleml.org_0.86_xsd/element/_body.html">_body</a></code><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</td></tr><tr class="TableRowColor" bgcolor="white"><td width="1" valign="top" align="right"><font size="-1"><code>&nbsp;</code></font></td><td><code><a href="../../
 http___www.ruleml.org_0.86_xsd/element/_body.html">_body</a></code><br>&nbsp;&nbsp;&nbsp;!
 &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</td></tr><tr class="TableRo
wColor" bgcolor="white"><td width="1" valign="top" align="right"><font size="-1"><code>&nbsp;</code></font></td><td><code><a href="../../http___www.ruleml.org_0.86_xsd/element/_body.html">_body</a></code><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</td></tr><tr class="TableRowColor" bgcolor="white"><td width="1" valign="top" align="right"><font size="-1"><code>&nbsp;</code></font></td><td><code><a href="../../http___www.ruleml.org_0.86_xsd/element/_body.html">_body</a></code><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</td></tr><tr class="TableRowColor" bgcolor="white"><td width="1" valign="top" align="right"><font size="-1"><code>&nbsp;</code></font></td><td><code><a href="../../http___www.ruleml.org_0.86_xsd/element/_body.html">_body</a></code><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</td></tr><tr class="TableRowColor" bgco
 lor="white"><td width="1" valign="top" align="right"><font size="-1"><code>&nbsp;</code><!
 /font></td><td><code><a href="../../http___www.ruleml.org_0.86_xsd/element/_head.html">_head</a></code><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</td></tr><tr class="TableRowColor" bgcolor="white"><td width="1" valign="top" align="right"><font size="-1"><code>&nbsp;</code></font></td><td><code><a href="../../http___www.ruleml.org_0.86_xsd/element/_head.html">_head</a></code><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</td></tr><tr class="TableRowColor" bgcolor="white"><td width="1" valign="top" align="right"><font size="-1"><code>&nbsp;</code></font></td><td><code><a href="../../http___www.ruleml.org_0.86_xsd/element/_head.html">_head</a></code><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</td></tr><tr class="TableRowColor" bgcolor="white"><td width="1" valign="top" align="right"><font size="-1"><code>&nbsp;</code></font></td>
 <td><code><a href="../../http___www.ruleml.org_0.86_xsd/element/_head.html">_head</a></co!
 de><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</t
d></tr><tr class="TableRowColor" bgcolor="white"><td width="1" valign="top" align="right"><font size="-1"><code>&nbsp;</code></font></td><td><code><a href="../../http___www.ruleml.org_0.86_xsd/element/_head.html">_head</a></code><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</td></tr><tr class="TableRowColor" bgcolor="white"><td width="1" valign="top" align="right"><font size="-1"><code>&nbsp;</code></font></td><td><code><a href="../../http___www.ruleml.org_0.86_xsd/element/_rlab.html">_rlab</a></code><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</td></tr><tr class="TableRowColor" bgcolor="white"><td width="1" valign="top" align="right"><font size="-1"><code>&nbsp;</code></font></td><td><code><a href="../../http___www.ruleml.org_0.86_xsd/element/_rlab.html">_rlab</a></code><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</td></tr><tr c
 lass="TableRowColor" bgcolor="white"><td width="1" valign="top" align="right"><font size=!
 "-1"><code>&nbsp;</code></font></td><td><code><a href="../../http___www.ruleml.org_0.86_xsd/element/_rlab.html">_rlab</a></code><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</td></tr><tr class="TableRowColor" bgcolor="white"><td width="1" valign="top" align="right"><font size="-1"><code>&nbsp;</code></font></td><td><code><a href="../../http___www.ruleml.org_0.86_xsd/element/_rlab.html">_rlab</a></code><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</td></tr><tr class="TableRowColor" bgcolor="white"><td width="1" valign="top" align="right"><font size="-1"><code>&nbsp;</code></font></td><td><code><a href="../../http___www.ruleml.org_0.86_xsd/element/_rlab.html">_rlab</a></code><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</td></tr></table><a name="source"></a><dl><dt>Source</dt><dd><pre xmlns:doc="http://xframe.sf.net/xsddoc/doc" xmln
 s:net.sf.xframe.xsddoc="http://xframe.sf.net/xsddoc/doc" xmlns:xs="http://www.w3.org/2001!
 /XMLSchema"><div class="code"><span class="oper">&lt;</span><span clas
s="elem">xs:complexType</span> <span class="attr">name</span><span class="oper">="</span><span class="cont">imp.type</span><span class="oper">"</span><span class="oper">&gt;</span><br><div class="code">  <span class="oper">&lt;</span><span class="elem">xs:group</span> <span class="attr">ref</span><span class="oper">="</span><a href="../../http___www.ruleml.org_0.86_xsd/group/imp.content.html"><span class="cont">imp.content</span></a><span class="oper">"</span><span class="oper">/&gt;</span><br></div><div class="code">  <span class="oper">&lt;</span><span class="elem">xs:attributeGroup</span> <span class="attr">ref</span><span class="oper">="</span><a href="../../http___www.ruleml.org_0.86_xsd/attributeGroup/imp.attlist.html"><span class="cont">imp.attlist</span></a><span class="oper">"</span><span class="oper">/&gt;</span><br></div><span class="oper">&lt;/</span><span class="elem">xs:com
 plexType</span><span class="oper">&gt;</span><br></div></pre></dd></dl><hr><table cellpad!
 ding="3" cellspacing="0" border="0" width="100%"><tr><td class="NavBarCell1" width="70%" colspan="2"><table cellspacing="3" cellpadding="0" border="0"><tr valign="top" align="center"><td bgcolor="#EEEEFF" class="NavBarCell1"><a href="../../schema-summary.html"><font class="NavBarFont1"><b>Overview</b></font></a>&nbsp;</td><td bgcolor="#EEEEFF" class="NavBarCell1"><a href="../index.html"><font class="NavBarFont1"><b>Namespace</b></font></a>&nbsp;</td><td class="NavBarCell1Rev" bgcolor="#EEEEFF"><font class="NavBarFont1Rev"><b>Component</b></font>&nbsp;</td><td bgcolor="#EEEEFF" class="NavBarCell1"><a href="../../help-doc.html"><font class="NavBarFont1"><b>Help</b></font></a>&nbsp;</td></tr></table></td><td rowspan="3" valign="top" align="right"><em><b>XML Schema for a Equational-Logic RuleML sublanguage</b></em></td></tr><tr><td class="NavBarCell2"><font size="-2">DETAILS:&nbsp;<a href="
 #documentation"><b>DOCUMENTATION</b></a>&nbsp;|&nbsp;<a href="#elements"><b>NESTED</b></a!
 >&nbsp;|&nbsp;<a href="#attributes"><b>ATTRIBUTES</b></a>&nbsp;|&nbsp;
<a href="#source"><b>SOURCE</b></a></font></td><td class="NavBarCell2"><font size="-2"><a target="_top" href="../../index.html"><b>FRAMES</b></a>&nbsp;|&nbsp;<a target="_top" href="#"><b>NO&nbsp;FRAMES</b></a></font></td></tr></table><hr><font size="-1">Submit a <a target="_blank" href="http://sourceforge.net/tracker/?atid=454391&group_id=48863&func=browse">bug</a> or a <a target="_blank" href="http://sourceforge.net/tracker/?atid=454394&group_id=48863&func=browse">feature</a>.<br>Created by <a href="http://xframe.sourceforge.net/xsddoc.html" target="_blank">xsddoc</a>, a sub project of <a target="_blank" href="http://xframe.sourceforge.net">xframe</a>, hosted at <a target="_blank" href="http://www.sourceforge.net">http://www.sourceforge.net</a>.</font></body></html>
--- NEW FILE: ind.type.html ---
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd">
<html><!-- This file is automaticaly generated by xframe - xsddoc--><!-- hosted at http://xframe.sourceforge.net --><!-- Please do not modify. --><head><META http-equiv="Content-Type" content="text/html; charset=ISO-8859-1"><title>http://www.ruleml.org/0.86/xsd</title><meta content="text/html; charset=ISO-8859-1" http-equiv="Content-Type"><link title="Style" href="../../stylesheet.css" type="text/css" rel="stylesheet"></head><body><table cellpadding="3" cellspacing="0" border="0" width="100%"><tr><td class="NavBarCell1" width="70%" colspan="2"><table cellspacing="3" cellpadding="0" border="0"><tr valign="top" align="center"><td bgcolor="#EEEEFF" class="NavBarCell1"><a href="../../schema-summary.html"><font class="NavBarFont1"><b>Overview</b></font></a>&nbsp;</td><td bgcolor="#EEEEFF" class="NavBarCell1"><a href="../index.html"><font class="NavBarFont1"><b>Namespace</b></font></a>&nbsp;</
 td><td class="NavBarCell1Rev" bgcolor="#EEEEFF"><font class="NavBarFont1Rev"><b>Component!
 </b></font>&nbsp;</td><td bgcolor="#EEEEFF" class="NavBarCell1"><a href="../../help-doc.html"><font class="NavBarFont1"><b>Help</b></font></a>&nbsp;</td></tr></table></td><td rowspan="3" valign="top" align="right"><em><b>XML Schema for a Equational-Logic RuleML sublanguage</b></em></td></tr><tr><td class="NavBarCell2"><font size="-2">DETAILS:&nbsp;<a href="#documentation"><b>DOCUMENTATION</b></a>&nbsp;|&nbsp;<a href="#elements"><b>NESTED</b></a>&nbsp;|&nbsp;<a href="#attributes"><b>ATTRIBUTES</b></a>&nbsp;|&nbsp;<a href="#source"><b>SOURCE</b></a></font></td><td class="NavBarCell2"><font size="-2"><a target="_top" href="../../index.html"><b>FRAMES</b></a>&nbsp;|&nbsp;<a target="_top" href="#"><b>NO&nbsp;FRAMES</b></a></font></td></tr></table><hr><h2><span class="smal">http://www.ruleml.org/0.86/xsd</span><br>complexType ind.type</h2><dl><dt>Super Types</dt></dl><pre>{http://www.w3.org/2
 001/XMLSchema}anyType<br>  |<br>  +--<b>{http://www.ruleml.org/0.86/xsd}ind.type</b> (res!
 triction)<br></pre><hr><dl><dt>Model</dt><dd><tt>&lt;...<br>&nbsp;&nbs
p;<a href="#attr_type">type</a> = xs:anyURI&gt;<br>    <br>&lt;/...&gt;</tt></dd></dl><hr><br><a name="attributes"></a><table width="100%" cellspacing="0" cellpadding="3" border="1"><tr class="TableHeadingColor" bgcolor="#CCCCFF"><td colspan="2"><font size="+2"><b>Attribute Summary</b></font></td></tr><tr class="TableRowColor" bgcolor="white"><td width="1" valign="top" align="right"><font size="-1"><code>&nbsp;xs:anyURI</code></font></td><td><code><a href="#attr_type">type</a></code><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</td></tr></table><br><table width="100%" cellspacing="0" cellpadding="3" border="1"><tr class="TableHeadingColor" bgcolor="#CCCCFF"><td colspan="2"><font size="+2"><b>Attribute Detail</b></font></td></tr></table><a name="attr_type"></a><h3>type</h3><dl><dl><dt>Type:</dt><dd><code>xs:anyURI</code></dd></dl><dl><dt>Use:</dt><dd><code>optional</cod
 e></dd></dl><dl><dt>Form:</dt><dd><code>unqualified</code></dd></dl></dl><hr><a name="sou!
 rce"></a><dl><dt>Source</dt><dd><pre xmlns:doc="http://xframe.sf.net/xsddoc/doc" xmlns:net.sf.xframe.xsddoc="http://xframe.sf.net/xsddoc/doc" xmlns:xs="http://www.w3.org/2001/XMLSchema"><div class="code"><span class="oper">&lt;</span><span class="elem">xs:complexType</span> <span class="attr">mixed</span><span class="oper">="</span><span class="cont">true</span><span class="oper">"</span> <span class="attr">name</span><span class="oper">="</span><span class="cont">ind.type</span><span class="oper">"</span><span class="oper">&gt;</span><br><div class="code">  <span class="oper">&lt;</span><span class="elem">xs:group</span> <span class="attr">ref</span><span class="oper">="</span><a href="../../http___www.ruleml.org_0.86_xsd/group/ind.content.html"><span class="cont">ind.content</span></a><span class="oper">"</span><span class="oper">/&gt;</span><br></div><div class="code">  <span class="
 oper">&lt;</span><span class="elem">xs:attributeGroup</span> <span class="attr">ref</span!
 ><span class="oper">="</span><a href="../../http___www.ruleml.org_0.86
_xsd/attributeGroup/ind.attlist.html"><span class="cont">ind.attlist</span></a><span class="oper">"</span><span class="oper">/&gt;</span><br></div><span class="oper">&lt;/</span><span class="elem">xs:complexType</span><span class="oper">&gt;</span><br></div></pre></dd></dl><hr><table cellpadding="3" cellspacing="0" border="0" width="100%"><tr><td class="NavBarCell1" width="70%" colspan="2"><table cellspacing="3" cellpadding="0" border="0"><tr valign="top" align="center"><td bgcolor="#EEEEFF" class="NavBarCell1"><a href="../../schema-summary.html"><font class="NavBarFont1"><b>Overview</b></font></a>&nbsp;</td><td bgcolor="#EEEEFF" class="NavBarCell1"><a href="../index.html"><font class="NavBarFont1"><b>Namespace</b></font></a>&nbsp;</td><td class="NavBarCell1Rev" bgcolor="#EEEEFF"><font class="NavBarFont1Rev"><b>Component</b></font>&nbsp;</td><td bgcolor="#EEEEFF" class="NavBarCell1"><a h
 ref="../../help-doc.html"><font class="NavBarFont1"><b>Help</b></font></a>&nbsp;</td></tr!
 ></table></td><td rowspan="3" valign="top" align="right"><em><b>XML Schema for a Equational-Logic RuleML sublanguage</b></em></td></tr><tr><td class="NavBarCell2"><font size="-2">DETAILS:&nbsp;<a href="#documentation"><b>DOCUMENTATION</b></a>&nbsp;|&nbsp;<a href="#elements"><b>NESTED</b></a>&nbsp;|&nbsp;<a href="#attributes"><b>ATTRIBUTES</b></a>&nbsp;|&nbsp;<a href="#source"><b>SOURCE</b></a></font></td><td class="NavBarCell2"><font size="-2"><a target="_top" href="../../index.html"><b>FRAMES</b></a>&nbsp;|&nbsp;<a target="_top" href="#"><b>NO&nbsp;FRAMES</b></a></font></td></tr></table><hr><font size="-1">Submit a <a target="_blank" href="http://sourceforge.net/tracker/?atid=454391&group_id=48863&func=browse">bug</a> or a <a target="_blank" href="http://sourceforge.net/tracker/?atid=454394&group_id=48863&func=browse">feature</a>.<br>Created by <a href="http://xframe.sourceforge.net/xs
 ddoc.html" target="_blank">xsddoc</a>, a sub project of <a target="_blank" href="http://x!
 frame.sourceforge.net">xframe</a>, hosted at <a target="_blank" href="
http://www.sourceforge.net">http://www.sourceforge.net</a>.</font></body></html>
--- NEW FILE: _opc.type.html ---
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd">
<html><!-- This file is automaticaly generated by xframe - xsddoc--><!-- hosted at http://xframe.sourceforge.net --><!-- Please do not modify. --><head><META http-equiv="Content-Type" content="text/html; charset=ISO-8859-1"><title>http://www.ruleml.org/0.86/xsd</title><meta content="text/html; charset=ISO-8859-1" http-equiv="Content-Type"><link title="Style" href="../../stylesheet.css" type="text/css" rel="stylesheet"></head><body><table cellpadding="3" cellspacing="0" border="0" width="100%"><tr><td class="NavBarCell1" width="70%" colspan="2"><table cellspacing="3" cellpadding="0" border="0"><tr valign="top" align="center"><td bgcolor="#EEEEFF" class="NavBarCell1"><a href="../../schema-summary.html"><font class="NavBarFont1"><b>Overview</b></font></a>&nbsp;</td><td bgcolor="#EEEEFF" class="NavBarCell1"><a href="../index.html"><font class="NavBarFont1"><b>Namespace</b></font></a>&nbsp;</
 td><td class="NavBarCell1Rev" bgcolor="#EEEEFF"><font class="NavBarFont1Rev"><b>Component!
 </b></font>&nbsp;</td><td bgcolor="#EEEEFF" class="NavBarCell1"><a href="../../help-doc.html"><font class="NavBarFont1"><b>Help</b></font></a>&nbsp;</td></tr></table></td><td rowspan="3" valign="top" align="right"><em><b>XML Schema for a Equational-Logic RuleML sublanguage</b></em></td></tr><tr><td class="NavBarCell2"><font size="-2">DETAILS:&nbsp;<a href="#documentation"><b>DOCUMENTATION</b></a>&nbsp;|&nbsp;<a href="#elements"><b>NESTED</b></a>&nbsp;|&nbsp;<a href="#attributes"><b>ATTRIBUTES</b></a>&nbsp;|&nbsp;<a href="#source"><b>SOURCE</b></a></font></td><td class="NavBarCell2"><font size="-2"><a target="_top" href="../../index.html"><b>FRAMES</b></a>&nbsp;|&nbsp;<a target="_top" href="#"><b>NO&nbsp;FRAMES</b></a></font></td></tr></table><hr><h2><span class="smal">http://www.ruleml.org/0.86/xsd</span><br>complexType _opc.type</h2><dl><dt>Super Types</dt></dl><pre>{http://www.w3.org/
 2001/XMLSchema}anyType<br>  |<br>  +--<b>{http://www.ruleml.org/0.86/xsd}_opc.type</b> (r!
 estriction)<br></pre><hr><dl><dt>Model</dt><dd><tt>&lt;...&gt;<br>  <a
 href="../../http___www.ruleml.org_0.86_xsd/element/ctor.html">ctor</a>  <br>&lt;/...&gt;</tt></dd></dl><hr><br><a name="elements"></a><table width="100%" cellspacing="0" cellpadding="3" border="1"><tr class="TableHeadingColor" bgcolor="#CCCCFF"><td colspan="2"><font size="+2"><b>Nested Element Summary</b></font></td></tr><tr class="TableRowColor" bgcolor="white"><td width="1" valign="top" align="right"><font size="-1"><code>&nbsp;</code></font></td><td><code><a href="../../http___www.ruleml.org_0.86_xsd/element/ctor.html">ctor</a></code><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</td></tr></table><a name="source"></a><dl><dt>Source</dt><dd><pre xmlns:doc="http://xframe.sf.net/xsddoc/doc" xmlns:net.sf.xframe.xsddoc="http://xframe.sf.net/xsddoc/doc" xmlns:xs="http://www.w3.org/2001/XMLSchema"><div class="code"><span class="oper">&lt;</span><span class="elem">xs:comple
 xType</span> <span class="attr">name</span><span class="oper">="</span><span class="cont"!
 >_opc.type</span><span class="oper">"</span><span class="oper">&gt;</span><br><div class="code">  <span class="oper">&lt;</span><span class="elem">xs:group</span> <span class="attr">ref</span><span class="oper">="</span><a href="../../http___www.ruleml.org_0.86_xsd/group/_opc.content.html"><span class="cont">_opc.content</span></a><span class="oper">"</span><span class="oper">/&gt;</span><br></div><div class="code">  <span class="oper">&lt;</span><span class="elem">xs:attributeGroup</span> <span class="attr">ref</span><span class="oper">="</span><a href="../../http___www.ruleml.org_0.86_xsd/attributeGroup/_opc.attlist.html"><span class="cont">_opc.attlist</span></a><span class="oper">"</span><span class="oper">/&gt;</span><br></div><span class="oper">&lt;/</span><span class="elem">xs:complexType</span><span class="oper">&gt;</span><br></div></pre></dd></dl><hr><table cellpadding="3" cel
 lspacing="0" border="0" width="100%"><tr><td class="NavBarCell1" width="70%" colspan="2">!
 <table cellspacing="3" cellpadding="0" border="0"><tr valign="top" ali
gn="center"><td bgcolor="#EEEEFF" class="NavBarCell1"><a href="../../schema-summary.html"><font class="NavBarFont1"><b>Overview</b></font></a>&nbsp;</td><td bgcolor="#EEEEFF" class="NavBarCell1"><a href="../index.html"><font class="NavBarFont1"><b>Namespace</b></font></a>&nbsp;</td><td class="NavBarCell1Rev" bgcolor="#EEEEFF"><font class="NavBarFont1Rev"><b>Component</b></font>&nbsp;</td><td bgcolor="#EEEEFF" class="NavBarCell1"><a href="../../help-doc.html"><font class="NavBarFont1"><b>Help</b></font></a>&nbsp;</td></tr></table></td><td rowspan="3" valign="top" align="right"><em><b>XML Schema for a Equational-Logic RuleML sublanguage</b></em></td></tr><tr><td class="NavBarCell2"><font size="-2">DETAILS:&nbsp;<a href="#documentation"><b>DOCUMENTATION</b></a>&nbsp;|&nbsp;<a href="#elements"><b>NESTED</b></a>&nbsp;|&nbsp;<a href="#attributes"><b>ATTRIBUTES</b></a>&nbsp;|&nbsp;<a href="#sou
 rce"><b>SOURCE</b></a></font></td><td class="NavBarCell2"><font size="-2"><a target="_top!
 " href="../../index.html"><b>FRAMES</b></a>&nbsp;|&nbsp;<a target="_top" href="#"><b>NO&nbsp;FRAMES</b></a></font></td></tr></table><hr><font size="-1">Submit a <a target="_blank" href="http://sourceforge.net/tracker/?atid=454391&group_id=48863&func=browse">bug</a> or a <a target="_blank" href="http://sourceforge.net/tracker/?atid=454394&group_id=48863&func=browse">feature</a>.<br>Created by <a href="http://xframe.sourceforge.net/xsddoc.html" target="_blank">xsddoc</a>, a sub project of <a target="_blank" href="http://xframe.sourceforge.net">xframe</a>, hosted at <a target="_blank" href="http://www.sourceforge.net">http://www.sourceforge.net</a>.</font></body></html>
--- NEW FILE: _slot.type.html ---
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd">
<html><!-- This file is automaticaly generated by xframe - xsddoc--><!-- hosted at http://xframe.sourceforge.net --><!-- Please do not modify. --><head><META http-equiv="Content-Type" content="text/html; charset=ISO-8859-1"><title>http://www.ruleml.org/0.86/xsd</title><meta content="text/html; charset=ISO-8859-1" http-equiv="Content-Type"><link title="Style" href="../../stylesheet.css" type="text/css" rel="stylesheet"></head><body><table cellpadding="3" cellspacing="0" border="0" width="100%"><tr><td class="NavBarCell1" width="70%" colspan="2"><table cellspacing="3" cellpadding="0" border="0"><tr valign="top" align="center"><td bgcolor="#EEEEFF" class="NavBarCell1"><a href="../../schema-summary.html"><font class="NavBarFont1"><b>Overview</b></font></a>&nbsp;</td><td bgcolor="#EEEEFF" class="NavBarCell1"><a href="../index.html"><font class="NavBarFont1"><b>Namespace</b></font></a>&nbsp;</
 td><td class="NavBarCell1Rev" bgcolor="#EEEEFF"><font class="NavBarFont1Rev"><b>Component!
 </b></font>&nbsp;</td><td bgcolor="#EEEEFF" class="NavBarCell1"><a href="../../help-doc.html"><font class="NavBarFont1"><b>Help</b></font></a>&nbsp;</td></tr></table></td><td rowspan="3" valign="top" align="right"><em><b>XML Schema for a Equational-Logic RuleML sublanguage</b></em></td></tr><tr><td class="NavBarCell2"><font size="-2">DETAILS:&nbsp;<a href="#documentation"><b>DOCUMENTATION</b></a>&nbsp;|&nbsp;<a href="#elements"><b>NESTED</b></a>&nbsp;|&nbsp;<a href="#attributes"><b>ATTRIBUTES</b></a>&nbsp;|&nbsp;<a href="#source"><b>SOURCE</b></a></font></td><td class="NavBarCell2"><font size="-2"><a target="_top" href="../../index.html"><b>FRAMES</b></a>&nbsp;|&nbsp;<a target="_top" href="#"><b>NO&nbsp;FRAMES</b></a></font></td></tr></table><hr><h2><span class="smal">http://www.ruleml.org/0.86/xsd</span><br>complexType _slot.type</h2><dl><dt>Super Types</dt></dl><pre>{http://www.w3.org
 /2001/XMLSchema}anyType<br>  |<br>  +--<b>{http://www.ruleml.org/0.86/xsd}_slot.type</b> !
 (restriction)<br></pre><hr><dl><dt>Model</dt><dd><tt>&lt;...<br>&nbsp;
&nbsp;<a href="#attr_card">card</a> = xs:nonNegativeInteger<br>&nbsp;&nbsp;<b><a href="#attr_name">name</a> = xs:string</b><br>&nbsp;&nbsp;<a href="#attr_weight">weight</a> = <i>xs:decimal</i>&gt;<br>  ((<a href="../../http___www.ruleml.org_0.86_xsd/element/ind.html">ind</a> | <a href="../../http___www.ruleml.org_0.86_xsd/element/var.html">var</a>)  | <a href="../../http___www.ruleml.org_0.86_xsd/element/cterm.html">cterm</a> | <a href="../../http___www.ruleml.org_0.86_xsd/element/plex.html">plex</a>) <br>&lt;/...&gt;</tt></dd></dl><hr><br><a name="elements"></a><table width="100%" cellspacing="0" cellpadding="3" border="1"><tr class="TableHeadingColor" bgcolor="#CCCCFF"><td colspan="2"><font size="+2"><b>Nested Element Summary</b></font></td></tr><tr class="TableRowColor" bgcolor="white"><td width="1" valign="top" align="right"><font size="-1"><code>&nbsp;</code></font></td><td><code><a
  href="../../http___www.ruleml.org_0.86_xsd/element/cterm.html">cterm</a></code><br>&nbsp!
 ;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</td></tr><tr class="TableRowColor" bgcolor="white"><td width="1" valign="top" align="right"><font size="-1"><code>&nbsp;</code></font></td><td><code><a href="../../http___www.ruleml.org_0.86_xsd/element/ind.html">ind</a></code><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</td></tr><tr class="TableRowColor" bgcolor="white"><td width="1" valign="top" align="right"><font size="-1"><code>&nbsp;</code></font></td><td><code><a href="../../http___www.ruleml.org_0.86_xsd/element/plex.html">plex</a></code><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</td></tr><tr class="TableRowColor" bgcolor="white"><td width="1" valign="top" align="right"><font size="-1"><code>&nbsp;</code></font></td><td><code><a href="../../http___www.ruleml.org_0.86_xsd/element/var.html">var</a></code><br>&nbsp;&nbsp;&nbsp;&nbsp;&n
 bsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</td></tr></table><br><a name="attributes"></a><table w!
 idth="100%" cellspacing="0" cellpadding="3" border="1"><tr class="Tabl
eHeadingColor" bgcolor="#CCCCFF"><td colspan="2"><font size="+2"><b>Attribute Summary</b></font></td></tr><tr class="TableRowColor" bgcolor="white"><td width="1" valign="top" align="right"><font size="-1"><code>&nbsp;xs:nonNegativeInteger</code></font></td><td><code><a href="#attr_card">card</a></code><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</td></tr><tr class="TableRowColor" bgcolor="white"><td width="1" valign="top" align="right"><font size="-1"><code>&nbsp;xs:string</code></font></td><td><code><a href="#attr_name">name</a></code><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</td></tr><tr class="TableRowColor" bgcolor="white"><td width="1" valign="top" align="right"><font size="-1"><code>&nbsp;<i>xs:decimal</i></code></font></td><td><code><a href="#attr_weight">weight</a></code><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</t
 d></tr></table><br><table width="100%" cellspacing="0" cellpadding="3" border="1"><tr cla!
 ss="TableHeadingColor" bgcolor="#CCCCFF"><td colspan="2"><font size="+2"><b>Attribute Detail</b></font></td></tr></table><a name="attr_card"></a><h3>card</h3><dl><dl><dt>Type:</dt><dd><code>xs:nonNegativeInteger</code></dd></dl><dl><dt>Use:</dt><dd><code>optional</code></dd></dl><dl><dt>Form:</dt><dd><code>unqualified</code></dd></dl></dl><hr><a name="attr_name"></a><h3>name</h3><dl><dl><dt>Type:</dt><dd><code>xs:string</code></dd></dl><dl><dt>Use:</dt><dd><code>required</code></dd></dl><dl><dt>Form:</dt><dd><code>unqualified</code></dd></dl></dl><hr><a name="attr_weight"></a><h3>weight</h3><dl><dl><dt>Type:</dt><dd>based on <code></code><br>with :<br></dd></dl><dl><dt>Use:</dt><dd><code>optional</code></dd></dl><dl><dt>Form:</dt><dd><code>unqualified</code></dd></dl></dl><hr><a name="source"></a><dl><dt>Source</dt><dd><pre xmlns:doc="http://xframe.sf.net/xsddoc/doc" xmlns:net.sf.xframe
 .xsddoc="http://xframe.sf.net/xsddoc/doc" xmlns:xs="http://www.w3.org/2001/XMLSchema"><di!
 v class="code"><span class="oper">&lt;</span><span class="elem">xs:com
plexType</span> <span class="attr">name</span><span class="oper">="</span><span class="cont">_slot.type</span><span class="oper">"</span><span class="oper">&gt;</span><br><div class="code">  <span class="oper">&lt;</span><span class="elem">xs:group</span> <span class="attr">ref</span><span class="oper">="</span><a href="../../http___www.ruleml.org_0.86_xsd/group/_slot.content.html"><span class="cont">_slot.content</span></a><span class="oper">"</span><span class="oper">/&gt;</span><br></div><div class="code">  <span class="oper">&lt;</span><span class="elem">xs:attributeGroup</span> <span class="attr">ref</span><span class="oper">="</span><a href="../../http___www.ruleml.org_0.86_xsd/attributeGroup/_slot.attlist.html"><span class="cont">_slot.attlist</span></a><span class="oper">"</span><span class="oper">/&gt;</span><br></div><span class="oper">&lt;/</span><span class="elem">xs:complexT
 ype</span><span class="oper">&gt;</span><br></div></pre></dd></dl><hr><table cellpadding=!
 "3" cellspacing="0" border="0" width="100%"><tr><td class="NavBarCell1" width="70%" colspan="2"><table cellspacing="3" cellpadding="0" border="0"><tr valign="top" align="center"><td bgcolor="#EEEEFF" class="NavBarCell1"><a href="../../schema-summary.html"><font class="NavBarFont1"><b>Overview</b></font></a>&nbsp;</td><td bgcolor="#EEEEFF" class="NavBarCell1"><a href="../index.html"><font class="NavBarFont1"><b>Namespace</b></font></a>&nbsp;</td><td class="NavBarCell1Rev" bgcolor="#EEEEFF"><font class="NavBarFont1Rev"><b>Component</b></font>&nbsp;</td><td bgcolor="#EEEEFF" class="NavBarCell1"><a href="../../help-doc.html"><font class="NavBarFont1"><b>Help</b></font></a>&nbsp;</td></tr></table></td><td rowspan="3" valign="top" align="right"><em><b>XML Schema for a Equational-Logic RuleML sublanguage</b></em></td></tr><tr><td class="NavBarCell2"><font size="-2">DETAILS:&nbsp;<a href="#docu
 mentation"><b>DOCUMENTATION</b></a>&nbsp;|&nbsp;<a href="#elements"><b>NESTED</b></a>&nbs!
 p;|&nbsp;<a href="#attributes"><b>ATTRIBUTES</b></a>&nbsp;|&nbsp;<a hr
ef="#source"><b>SOURCE</b></a></font></td><td class="NavBarCell2"><font size="-2"><a target="_top" href="../../index.html"><b>FRAMES</b></a>&nbsp;|&nbsp;<a target="_top" href="#"><b>NO&nbsp;FRAMES</b></a></font></td></tr></table><hr><font size="-1">Submit a <a target="_blank" href="http://sourceforge.net/tracker/?atid=454391&group_id=48863&func=browse">bug</a> or a <a target="_blank" href="http://sourceforge.net/tracker/?atid=454394&group_id=48863&func=browse">feature</a>.<br>Created by <a href="http://xframe.sourceforge.net/xsddoc.html" target="_blank">xsddoc</a>, a sub project of <a target="_blank" href="http://xframe.sourceforge.net">xframe</a>, hosted at <a target="_blank" href="http://www.sourceforge.net">http://www.sourceforge.net</a>.</font></body></html>
--- NEW FILE: query.type.html ---
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd">
<html><!-- This file is automaticaly generated by xframe - xsddoc--><!-- hosted at http://xframe.sourceforge.net --><!-- Please do not modify. --><head><META http-equiv="Content-Type" content="text/html; charset=ISO-8859-1"><title>http://www.ruleml.org/0.86/xsd</title><meta content="text/html; charset=ISO-8859-1" http-equiv="Content-Type"><link title="Style" href="../../stylesheet.css" type="text/css" rel="stylesheet"></head><body><table cellpadding="3" cellspacing="0" border="0" width="100%"><tr><td class="NavBarCell1" width="70%" colspan="2"><table cellspacing="3" cellpadding="0" border="0"><tr valign="top" align="center"><td bgcolor="#EEEEFF" class="NavBarCell1"><a href="../../schema-summary.html"><font class="NavBarFont1"><b>Overview</b></font></a>&nbsp;</td><td bgcolor="#EEEEFF" class="NavBarCell1"><a href="../index.html"><font class="NavBarFont1"><b>Namespace</b></font></a>&nbsp;</
 td><td class="NavBarCell1Rev" bgcolor="#EEEEFF"><font class="NavBarFont1Rev"><b>Component!
 </b></font>&nbsp;</td><td bgcolor="#EEEEFF" class="NavBarCell1"><a href="../../help-doc.html"><font class="NavBarFont1"><b>Help</b></font></a>&nbsp;</td></tr></table></td><td rowspan="3" valign="top" align="right"><em><b>XML Schema for a Equational-Logic RuleML sublanguage</b></em></td></tr><tr><td class="NavBarCell2"><font size="-2">DETAILS:&nbsp;<a href="#documentation"><b>DOCUMENTATION</b></a>&nbsp;|&nbsp;<a href="#elements"><b>NESTED</b></a>&nbsp;|&nbsp;<a href="#attributes"><b>ATTRIBUTES</b></a>&nbsp;|&nbsp;<a href="#source"><b>SOURCE</b></a></font></td><td class="NavBarCell2"><font size="-2"><a target="_top" href="../../index.html"><b>FRAMES</b></a>&nbsp;|&nbsp;<a target="_top" href="#"><b>NO&nbsp;FRAMES</b></a></font></td></tr></table><hr><h2><span class="smal">http://www.ruleml.org/0.86/xsd</span><br>complexType query.type</h2><dl><dt>Super Types</dt></dl><pre>{http://www.w3.org
 /2001/XMLSchema}anyType<br>  |<br>  +--<b>{http://www.ruleml.org/0.86/xsd}query.type</b> !
 (restriction)<br></pre><hr><dl><dt>Model</dt><dd><tt>&lt;...&gt;<br>  
((<a href="../../http___www.ruleml.org_0.86_xsd/element/_rlab.html">_rlab</a>, <a href="../../http___www.ruleml.org_0.86_xsd/element/_body.html">_body</a>) | (<a href="../../http___www.ruleml.org_0.86_xsd/element/_body.html">_body</a>, <a href="../../http___www.ruleml.org_0.86_xsd/element/_rlab.html">_rlab</a>?)) <br>&lt;/...&gt;</tt></dd></dl><hr><br><a name="elements"></a><table width="100%" cellspacing="0" cellpadding="3" border="1"><tr class="TableHeadingColor" bgcolor="#CCCCFF"><td colspan="2"><font size="+2"><b>Nested Element Summary</b></font></td></tr><tr class="TableRowColor" bgcolor="white"><td width="1" valign="top" align="right"><font size="-1"><code>&nbsp;</code></font></td><td><code><a href="../../http___www.ruleml.org_0.86_xsd/element/_body.html">_body</a></code><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</td></tr><tr class="TableRowColor" bgcolor="whi
 te"><td width="1" valign="top" align="right"><font size="-1"><code>&nbsp;</code></font></!
 td><td><code><a href="../../http___www.ruleml.org_0.86_xsd/element/_body.html">_body</a></code><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</td></tr><tr class="TableRowColor" bgcolor="white"><td width="1" valign="top" align="right"><font size="-1"><code>&nbsp;</code></font></td><td><code><a href="../../http___www.ruleml.org_0.86_xsd/element/_rlab.html">_rlab</a></code><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</td></tr><tr class="TableRowColor" bgcolor="white"><td width="1" valign="top" align="right"><font size="-1"><code>&nbsp;</code></font></td><td><code><a href="../../http___www.ruleml.org_0.86_xsd/element/_rlab.html">_rlab</a></code><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</td></tr></table><a name="source"></a><dl><dt>Source</dt><dd><pre xmlns:doc="http://xframe.sf.net/xsddoc/doc" xmlns:net.sf.xframe.xsddoc="http://xf
 rame.sf.net/xsddoc/doc" xmlns:xs="http://www.w3.org/2001/XMLSchema"><div class="code"><sp!
 an class="oper">&lt;</span><span class="elem">xs:complexType</span> <s
pan class="attr">mixed</span><span class="oper">="</span><span class="cont">true</span><span class="oper">"</span> <span class="attr">name</span><span class="oper">="</span><span class="cont">query.type</span><span class="oper">"</span><span class="oper">&gt;</span><br><div class="code">  <span class="oper">&lt;</span><span class="elem">xs:group</span> <span class="attr">ref</span><span class="oper">="</span><a href="../../http___www.ruleml.org_0.86_xsd/group/query.content.html"><span class="cont">query.content</span></a><span class="oper">"</span><span class="oper">/&gt;</span><br></div><div class="code">  <span class="oper">&lt;</span><span class="elem">xs:attributeGroup</span> <span class="attr">ref</span><span class="oper">="</span><a href="../../http___www.ruleml.org_0.86_xsd/attributeGroup/query.attlist.html"><span class="cont">query.attlist</span></a><span class="oper">"</span><sp
 an class="oper">/&gt;</span><br></div><span class="oper">&lt;/</span><span class="elem">x!
 s:complexType</span><span class="oper">&gt;</span><br></div></pre></dd></dl><hr><table cellpadding="3" cellspacing="0" border="0" width="100%"><tr><td class="NavBarCell1" width="70%" colspan="2"><table cellspacing="3" cellpadding="0" border="0"><tr valign="top" align="center"><td bgcolor="#EEEEFF" class="NavBarCell1"><a href="../../schema-summary.html"><font class="NavBarFont1"><b>Overview</b></font></a>&nbsp;</td><td bgcolor="#EEEEFF" class="NavBarCell1"><a href="../index.html"><font class="NavBarFont1"><b>Namespace</b></font></a>&nbsp;</td><td class="NavBarCell1Rev" bgcolor="#EEEEFF"><font class="NavBarFont1Rev"><b>Component</b></font>&nbsp;</td><td bgcolor="#EEEEFF" class="NavBarCell1"><a href="../../help-doc.html"><font class="NavBarFont1"><b>Help</b></font></a>&nbsp;</td></tr></table></td><td rowspan="3" valign="top" align="right"><em><b>XML Schema for a Equational-Logic RuleML sub
 language</b></em></td></tr><tr><td class="NavBarCell2"><font size="-2">DETAILS:&nbsp;<a h!
 ref="#documentation"><b>DOCUMENTATION</b></a>&nbsp;|&nbsp;<a href="#el
ements"><b>NESTED</b></a>&nbsp;|&nbsp;<a href="#attributes"><b>ATTRIBUTES</b></a>&nbsp;|&nbsp;<a href="#source"><b>SOURCE</b></a></font></td><td class="NavBarCell2"><font size="-2"><a target="_top" href="../../index.html"><b>FRAMES</b></a>&nbsp;|&nbsp;<a target="_top" href="#"><b>NO&nbsp;FRAMES</b></a></font></td></tr></table><hr><font size="-1">Submit a <a target="_blank" href="http://sourceforge.net/tracker/?atid=454391&group_id=48863&func=browse">bug</a> or a <a target="_blank" href="http://sourceforge.net/tracker/?atid=454394&group_id=48863&func=browse">feature</a>.<br>Created by <a href="http://xframe.sourceforge.net/xsddoc.html" target="_blank">xsddoc</a>, a sub project of <a target="_blank" href="http://xframe.sourceforge.net">xframe</a>, hosted at <a target="_blank" href="http://www.sourceforge.net">http://www.sourceforge.net</a>.</font></body></html>


-------------------------------------------------------
This SF.Net email is sponsored by: thawte's Crypto Challenge Vl
Crack the code and win a Sony DCRHC40 MiniDV Digital Handycam
Camcorder. More prizes in the weekly Lunch Hour Challenge.
Sign up NOW http://ad.doubleclick.net/clk;10740251;10262165;m
lmpx.com only provides a reader for public news (NNTP) servers. It is not affiliated with the servers or forums shown here and is not responsible for the content of articles, which is written by their respective authors.