<?xml version="1.0" encoding="UTF-8" standalone="no"?>
<org.eventb.core.poFile org.eventb.core.poStamp="3">
<org.eventb.core.poPredicateSet name="ABSHYP" org.eventb.core.poStamp="1">
<org.eventb.core.poIdentifier name="LEVEL" org.eventb.core.type="ℙ(LEVEL)"/>
<org.eventb.core.poIdentifier name="MINE_SET" org.eventb.core.type="ℙ(MINE_SET)"/>
<org.eventb.core.poIdentifier name="ONOFF" org.eventb.core.type="ℙ(ONOFF)"/>
<org.eventb.core.poIdentifier name="HIGH" org.eventb.core.type="LEVEL"/>
<org.eventb.core.poIdentifier name="LOW" org.eventb.core.type="LEVEL"/>
<org.eventb.core.poIdentifier name="M" org.eventb.core.type="MINE_SET"/>
<org.eventb.core.poIdentifier name="MEDIUM" org.eventb.core.type="LEVEL"/>
<org.eventb.core.poIdentifier name="OFF" org.eventb.core.type="ONOFF"/>
<org.eventb.core.poIdentifier name="ON" org.eventb.core.type="ONOFF"/>
</org.eventb.core.poPredicateSet>
<org.eventb.core.poPredicateSet name="ALLHYP" org.eventb.core.parentSet="/Exemple_Mine_pump/MineContext.bpo|org.eventb.core.poFile#MineContext|org.eventb.core.poPredicateSet#ABSHYP" org.eventb.core.poStamp="3">
<org.eventb.core.poPredicate name="PRD0" org.eventb.core.predicate="partition(ONOFF,{ON},{OFF})" org.eventb.core.source="/Exemple_Mine_pump/MineContext.buc|org.eventb.core.contextFile#MineContext|org.eventb.core.axiom#axm1"/>
<org.eventb.core.poPredicate name="PRD1" org.eventb.core.predicate="partition(LEVEL,{LOW},{MEDIUM},{HIGH})" org.eventb.core.source="/Exemple_Mine_pump/MineContext.buc|org.eventb.core.contextFile#MineContext|org.eventb.core.axiom#axm2"/>
<org.eventb.core.poPredicate name="PRD2" org.eventb.core.predicate="partition(MINE_SET,{M})" org.eventb.core.source="/Exemple_Mine_pump/MineContext.buc|org.eventb.core.contextFile#MineContext|org.eventb.core.axiom#axm3"/>
</org.eventb.core.poPredicateSet>
</org.eventb.core.poFile>
