<?xml version="1.0" encoding="UTF-8" standalone="no"?>
<org.eventb.core.scContextFile org.eventb.core.accurate="true" org.eventb.core.configuration="org.eventb.core.fwd">
<org.eventb.core.scAxiom name="AXM0" org.eventb.core.label="axm1" 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.theorem="false"/>
<org.eventb.core.scConstant name="ATP" org.eventb.core.source="/Train_Mode_Example/TrainModelInitialContext.buc|org.eventb.core.contextFile#TrainModelInitialContext|org.eventb.core.constant#(" org.eventb.core.type="TRAIN_MODE"/>
<org.eventb.core.scConstant name="ATPR" org.eventb.core.source="/Train_Mode_Example/TrainModelInitialContext.buc|org.eventb.core.contextFile#TrainModelInitialContext|org.eventb.core.constant#)" org.eventb.core.type="TRAIN_MODE"/>
<org.eventb.core.scConstant name="BYPASS" org.eventb.core.source="/Train_Mode_Example/TrainModelInitialContext.buc|org.eventb.core.contextFile#TrainModelInitialContext|org.eventb.core.constant#*" org.eventb.core.type="TRAIN_MODE"/>
<org.eventb.core.scCarrierSet name="TRAIN_MODE" org.eventb.core.source="/Train_Mode_Example/TrainModelInitialContext.buc|org.eventb.core.contextFile#TrainModelInitialContext|org.eventb.core.carrierSet#'" org.eventb.core.type="ℙ(TRAIN_MODE)"/>
<org.eventb.core.scCarrierSet name="TRAIN_SET" org.eventb.core.source="/Train_Mode_Example/TrainModelInitialContext.buc|org.eventb.core.contextFile#TrainModelInitialContext|org.eventb.core.carrierSet#," org.eventb.core.type="ℙ(TRAIN_SET)"/>
</org.eventb.core.scContextFile>
