<?xml version="1.0" encoding="UTF-8" standalone="no"?>
<org.eventb.core.poFile org.eventb.core.poStamp="2">
<org.eventb.core.poPredicateSet name="ABSHYP" org.eventb.core.poStamp="2">
<org.eventb.core.poIdentifier name="TRAIN_MODE" org.eventb.core.type="ℙ(TRAIN_MODE)"/>
<org.eventb.core.poIdentifier name="TRAIN_SET" org.eventb.core.type="ℙ(TRAIN_SET)"/>
<org.eventb.core.poIdentifier name="ATP" org.eventb.core.type="TRAIN_MODE"/>
<org.eventb.core.poIdentifier name="ATPR" org.eventb.core.type="TRAIN_MODE"/>
<org.eventb.core.poIdentifier name="BYPASS" org.eventb.core.type="TRAIN_MODE"/>
</org.eventb.core.poPredicateSet>
<org.eventb.core.poPredicateSet name="ALLHYP" org.eventb.core.parentSet="/Train_Mode_Example/TrainModelInitialContext.bpo|org.eventb.core.poFile#TrainModelInitialContext|org.eventb.core.poPredicateSet#ABSHYP" org.eventb.core.poStamp="2">
<org.eventb.core.poPredicate name="PRD0" org.eventb.core.predicate="partition(TRAIN_MODE,{ATP},{ATPR},{BYPASS})" org.eventb.core.source="/Train_Mode_Example/TrainModelInitialContext.buc|org.eventb.core.contextFile#TrainModelInitialContext|org.eventb.core.axiom#+"/>
</org.eventb.core.poPredicateSet>
</org.eventb.core.poFile>
