<?xml version="1.0" encoding="UTF-8" standalone="no"?>
<org.eventb.core.contextFile org.eventb.core.configuration="org.eventb.core.fwd;org.animb.valuation.valBase" version="3">
<org.eventb.core.carrierSet name="set1" org.eventb.core.identifier="ONOFF"/>
<org.eventb.core.carrierSet name="set2" org.eventb.core.identifier="LEVEL"/>
<org.eventb.core.carrierSet name="set3" org.eventb.core.identifier="MINE_SET"/>
<org.eventb.core.constant name="cst1" org.eventb.core.identifier="ON"/>
<org.eventb.core.constant name="cst2" org.eventb.core.identifier="OFF"/>
<org.eventb.core.constant name="cst3" org.eventb.core.identifier="LOW"/>
<org.eventb.core.constant name="cst4" org.eventb.core.identifier="MEDIUM"/>
<org.eventb.core.constant name="cst5" org.eventb.core.identifier="HIGH"/>
<org.eventb.core.constant name="cst6" org.eventb.core.identifier="M"/>
<org.eventb.core.axiom name="axm1" org.eventb.core.label="axm1" org.eventb.core.predicate="partition(ONOFF, {ON}, {OFF})"/>
<org.eventb.core.axiom name="axm2" org.eventb.core.label="axm2" org.eventb.core.predicate="partition(LEVEL, {LOW}, {MEDIUM}, {HIGH})"/>
<org.eventb.core.axiom name="axm3" org.eventb.core.label="axm3" org.eventb.core.predicate="partition(MINE_SET, {M})"/>
</org.eventb.core.contextFile>
