<OMA>
	<OMBIND>
		<OMS name="lambda" cd="fns1" cdbase="http://www.openmath.org/cd"></OMS>
		<OMV name="x"/>
		<OMV name="y"/>
		<OMA>
			<OMS name="plus" cdbase="http://www.openmath.org/cd" cd="arith1"></OMS>
			<OMV name="x"></OMV>
			<OMV name="y"></OMV>
			<OMI>1</OMI>
		</OMA>
	</OMBIND>
	<OMI id="banal">3</OMI>
	<OMR xref="banal"></OMR>
</OMA>