unification-semi-3.bgf

<?xml version="1.0" encoding="UTF-8"?>
<bgf:grammar xmlns:bgf="http://planet-sl.org/bgf">
	<bgf:production>
		<nonterminal>x</nonterminal>
		<bgf:expression>
			<terminal>a</terminal>
		</bgf:expression>
	</bgf:production>
	<bgf:production>
		<nonterminal>z</nonterminal>
		<bgf:expression>
			<terminal>b</terminal>
		</bgf:expression>
	</bgf:production>
	<bgf:production>
		<nonterminal>z</nonterminal>
		<bgf:expression>
			<terminal>c</terminal>
		</bgf:expression>
	</bgf:production>
</bgf:grammar>