<?xml version="1.0" standalone="no"?>
<!-- edited with XML Spy v3.0.7 NT (http://www.xmlspy.com) by Ocean (Family Doan) -->
<?xml-stylesheet type="text/xsl" href="http://www.ruleml.org/fun/RFML2RuleML.xsl"?>
<rfml>
	<ft>
		<pattop>
			<con>peters-buy</con>
		</pattop>
		<callop>
			<con>buy</con>
			<con>peters</con>
			<var>what</var>
		</callop>
		<var>what</var>
	</ft>
	<ft>
		<pattop>
			<con>customer</con>
			<con>peters</con>
		</pattop>
		<con>miller</con>
	</ft>
	<ft>
		<pattop>
			<con>customer</con>
			<con>peters</con>
		</pattop>
		<con>fuller</con>
	</ft>
	<ft>
		<pattop>
			<con>cost</con>
			<con>stock1</con>
		</pattop>
		<con>165</con>
	</ft>
	<ft>
		<pattop>
			<con>cost</con>
			<con>stock2</con>
		</pattop>
		<con>130</con>
	</ft>
	<ft>
		<pattop>
			<con>cost</con>
			<con>stock3</con>
		</pattop>
		<con>175</con>
	</ft>
	<ft>
		<pattop>
			<con>benefit</con>
			<con>stock1</con>
		</pattop>
		<con>160</con>
	</ft>
	<ft>
		<pattop>
			<con>benefit</con>
			<con>stock2</con>
		</pattop>
		<con>130</con>
	</ft>
	<ft>
		<pattop>
			<con>benefit</con>
			<con>stock3</con>
		</pattop>
		<con>180</con>
	</ft>
	<!--two new examples from Functional paper -->
	<ft>
		<pattop>
			<struc>
				<con>mixtree</con>
				<var>terfun</var>
				<var>mixvoid</var>
			</struc>
			<var>tree</var>
		</pattop>
		<callop>
			<struc>
				<con>walktree</con>
				<var>terfun</var>
				<var>mixvoid</var>
			</struc>
			<var>tree</var>
			<var>mix</var>
			<var>mix</var>
		</callop>
	</ft>
	<ft>
		<pattop>
			<struc>
				<con>walktree</con>
				<var>terfun</var>
				<var>mixvoid</var>
			</struc>
			<con>void</con>
			<var>mix</var>
			<var>mixvoid</var>
		</pattop>
		<con>void</con>
	</ft>
	<ft>
		<pattop>
			<struc>
				<con>walktree</con>
				<var>terfun</var>
				<var>mixvoid</var>
			</struc>
			<struc>
				<con>tree</con>
				<var>label</var>
				<var>left</var>
				<var>right</var>
			</struc>
			<var>mix</var>
			<var>mixsofar</var>
		</pattop>
		<is>
			<var>newleft</var>
			<callop>
				<struc>
					<con>walktree</con>
					<var>terfun</var>
					<var>mixvoid</var>
				</struc>
				<var>left</var>
				<var>mix</var>
				<var>mixleft</var>
			</callop>
		</is>
		<is>
			<var>newright</var>
			<callop>
				<struc>
					<con>walktree</con>
					<var>terfun</var>
					<var>mixvoid</var>
				</struc>
				<var>right</var>
				<var>mix</var>
				<var>mixright</var>
			</callop>
		</is>
		<is>
			<var>mixsofar</var>
			<callop>
				<var>terfun</var>
				<var>label</var>
				<var>mixleft</var>
				<var>mixright</var>
			</callop>
		</is>
		<struc>
			<con>tree</con>
			<var>mix</var>
			<var>newleft</var>
			<var>newright</var>
		</struc>
	</ft>
</rfml>
