values p1:Period = mk_token("Monday day"); p2:Period = mk_token("Monday night"); p3:Period = mk_token("Tuesday day"); p4:Period = mk_token("Tuesday night"); p5:Period = mk_token("Wednesday day"); eid1:ExpertId = mk_token(134); eid2:ExpertId = mk_token(145); eid3:ExpertId = mk_token(154); eid4:ExpertId = mk_token(165); eid5:ExpertId = mk_token(169); eid6:ExpertId = mk_token(174); eid7:ExpertId = mk_token(181); eid8:ExpertId = mk_token(190); e1:Expert = mk_Expert(eid1,{}); e2:Expert = mk_Expert(eid2,{,}); e3:Expert = mk_Expert(eid3,{,,}); e4:Expert = mk_Expert(eid4,{}); e5:Expert = mk_Expert(eid5,{,}); e6:Expert = mk_Expert(eid6,{,,,}); e7:Expert = mk_Expert(eid7,{,}); e8:Expert = mk_Expert(eid8,{,}); sch:map Period to set of Expert = {p1 |-> {e7,e5,e1}, p2 |-> {e6}, p3 |-> {e1,e3,e8}, p4 |-> {e6}}; a1:Alarm = mk_Alarm("Power supply missing",); a2:Alarm = mk_Alarm("Tank overflow",); a3:Alarm = mk_Alarm("CO2 detected",); plant: Plant = mk_Plant(sch,{a1,a2,a3})