<!-- Top level element -->
<MDLTheory>
<Parameters>

<Mode>BEL</Mode>
<Mode>OBL</Mode>
<Mode>INT</Mode>

<Strength>STRICT</Strength>
<Strength>DEFEASIBLE</Strength>
<Strength>DEFEATER</Strength>

<Conversion>
	<Mode>BEL</Mode> <Mode>INT</Mode> 
</Conversion>

<Conversion>
	<Mode>OBL</Mode> <Mode>INT</Mode> 
</Conversion>

<Conflict>
	<Mode>BEL</Mode> <Mode>INT</Mode> 
</Conflict>
<Conflict>
	<Mode>BEL</Mode> <Mode>OBL</Mode> 
</Conflict>
<Conflict>
	<Mode>OBL</Mode> <Mode>INT</Mode> 
</Conflict>

</Parameters>

<!-- Rules -->
<Rule label ="r1">
<Mode>BEL</Mode>
<Strength>DEFEASIBLE</Strength>

<head>
	<Atom>
		<Rel>gap</Rel>
	</Atom>
</head>
</Rule>


<Rule label ="r2">
<Mode>BEL</Mode>
<Strength>STRICT</Strength>

<head>
	<Atom>
		<Rel>pp</Rel>
	</Atom>
</head>
<body>
	<And>
		<Atom><Mode>BEL</Mode><Rel>Gap</Rel></Atom>
	</And>
</body>
</Rule>

<Rule label ="r3">
<Mode>BEL</Mode>
<Strength>STRICT</Strength>

<head>
	<Atom>
		<Rel>b</Rel>
	</Atom>
</head>
<body>
	<And>
		<Atom><Mode>BEL</Mode><Rel>pp</Rel></Atom>
	</And>
</body>
</Rule>

<Rule label ="r4">
<Mode>OBL</Mode>
<Strength>DEFEASIBLE</Strength>

<head>
	<Atom>
		<Rel>f</Rel>
	</Atom>
</head>
<body>
	<And>
		<Atom><Mode>BEL</Mode><Rel>b</Rel></Atom>
	</And>
</body>
</Rule>

<Rule label ="r5">
<Mode>OBL</Mode>
<Strength>DEFEASIBLE</Strength>

<head>
	<Atom>
		<Not></Not><Rel>f</Rel>
	</Atom>
</head>
<body>
	<And>
		<Atom><Mode>BEL</Mode><Rel>pp</Rel></Atom>
	</And>
</body>
</Rule>

<Rule label ="r6">
<Mode>OBL</Mode>
<Strength>DEFEASIBLE</Strength>

<head>
	<Atom>
		<Not></Not><Rel>f</Rel>
	</Atom>
</head>
<body>
	<And>
		<Atom><Mode>BEL</Mode><Rel>gap</Rel></Atom>
	</And>
</body>
</Rule>


<Sup superior="r5" inferior="r4">
</Sup>

<Sup superior="r6" inferior="r5">
</Sup>

<Fact label="f1">
	<Atom><Mode>INT</Mode><Rel>GoToShine</Rel></Atom>
</Fact>

<Fact label="f2 ">
	<Atom><Rel>fact1</Rel></Atom>
</Fact>

</MDLTheory>
