<?xml version="1.0"?>
<rdf:RDF xml:lang="en"
     xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
     xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
     xmlns:daml="http://www.daml.org/2000/12/daml+oil#"
     xmlns:java="http://ksl.stanford.edu/software/jtp/java-config.daml#"
     xmlns:jtp="http://ksl.stanford.edu/software/jtp/jtp-config.daml#"
>

<java:Property rdf:ID="theoremProver" java:propertyName="theoremProver"/>
<java:Property rdf:ID="tracer" java:propertyName="tracer"/>
<java:Property rdf:ID="parser" java:propertyName="parser"/>
<java:Property rdf:ID="askingReasoner" java:propertyName="askingReasoner"/>
<java:Property rdf:ID="tellingReasoner" java:propertyName="tellingReasoner"/>
<java:Property rdf:ID="askingDispatcher" java:propertyName="askingDispatcher"/>
<java:Property rdf:ID="tellingDispatcher" java:propertyName="tellingDispatcher"/>
<java:Property rdf:ID="verbosityLevel" java:propertyName="verbosityLevel"/>
<java:Property rdf:ID="maxDepth" java:propertyName="maxDepth"/>

<java:Object rdf:ID="ckb" java:className="jtp.gmp.ClauseOrientationKB"/>
	
<java:Object rdf:ID="http://ksl.stanford.edu/software/jtp/jtp-config.daml#context" java:className="jtp.context.BasicReasoningContext">
	<java:elements>
		<rdf:Seq>
			<rdf:li>
				<java:Object rdf:ID="mer" java:className="jtp.modelim.ModelEliminationReasoner"/>
			</rdf:li>
			<rdf:li>
				<java:Object rdf:ID="idr" java:className="jtp.context.IterativeDeepening">
					<theoremProver rdf:resource="#mer"/>
				</java:Object>
			</rdf:li>
			<rdf:li>
				<java:Object rdf:ID="bfr" java:className="jtp.modelim.BreadthFirstForwardReasoner"/>
			</rdf:li>
			<rdf:li>
				<java:Object rdf:ID="aqp" java:className="jtp.modelim.AskingQueryProcessor"/>
			</rdf:li>
			<rdf:li resource="#unp"/>	
		</rdf:Seq>
	</java:elements>

	<askingReasoner rdf:resource="#idr"/>
	<tellingReasoner rdf:resource="#bfr"/>
	<askingDispatcher>
		<java:Object java:className="jtp.disp.SequentialDispatcher">
			<jtp:dispatchTo>
				<java:PropertyValue> 
					<java:definingObject rdf:resource="#ckb"/>
					<java:definingProperty rdf:resource="#askingReasoner"/>
				</java:PropertyValue>
			</jtp:dispatchTo>
			<jtp:dispatchTo>
				<java:Object java:className="jtp.func.Less"/>
			</jtp:dispatchTo>
			<jtp:dispatchTo>
				<java:Object java:className="jtp.func.Greater"/>
			</jtp:dispatchTo>
			<jtp:dispatchTo>
				<java:Object java:className="jtp.func.ForIn"/>
			</jtp:dispatchTo>
			<jtp:dispatchTo>
				<java:Object rdf:ID="unp" java:className="jtp.func.Unprovable"/>
			</jtp:dispatchTo>
			<jtp:dispatchTo>
				<java:Object java:className="jtp.func.Equals"/>
			</jtp:dispatchTo>
			<jtp:dispatchTo rdf:resource="#aqp"/>
		</java:Object>
	</askingDispatcher>
	<tellingDispatcher>
		<java:Object java:className="jtp.disp.SequentialDispatcher">
			<jtp:dispatchTo>
				<java:PropertyValue> 
					<java:definingObject rdf:resource="#ckb"/>
					<java:definingProperty rdf:resource="#tellingReasoner"/>
				</java:PropertyValue>
			</jtp:dispatchTo>
			<jtp:dispatchTo>
				<java:Object java:className="jtp.gmp.ClauseOrientation$Factory"/>
			</jtp:dispatchTo>
		</java:Object>
	</tellingDispatcher>
 	<parser><java:Object java:className="jtp.fol.kif.KIF2CNF"/></parser> 
	<tracer>
		<java:Object java:className="jtp.context.PrintStreamTracer">
			<verbosityLevel>0</verbosityLevel>
		</java:Object>
	</tracer>
	<maxDepth>10</maxDepth>
</java:Object>

</rdf:RDF>
