device(S):- machine(S).
map(H, alarm, M, alarm) :- prod_line(H), machine(M), location(M,H).
filter_type(M, alarm,  pass, _) :- machine(M).
person(person_0).
person(person_1).
person(person_2).
person(person_3).
person(person_4).
person(person_5).
person(person_6).
person(person_7).
person(person_8).
person(person_9).
person(person_10).
person(person_11).
person(person_12).
person(person_13).
person(person_14).
person(person_15).
person(person_16).
person(person_17).
person(person_18).
person(person_19).
person(person_20).
person(person_21).
person(person_22).
person(person_23).
person(person_24).
person(person_25).
person(person_26).
person(person_27).
person(person_28).
person(person_29).
person(person_30).
person(person_31).
person(person_32).
person(person_33).
person(person_34).
person(person_35).
person(person_36).
person(person_37).
person(person_38).
person(person_39).
person(person_40).
person(person_41).
person(person_42).
person(person_43).
person(person_44).
person(person_45).
person(person_46).
person(person_47).
person(person_48).
person(person_49).
person(person_50).
person(person_51).
person(person_52).
person(person_53).
person(person_54).
person(person_55).
person(person_56).
person(person_57).
person(person_58).
person(person_59).
person(person_60).
person(person_61).
person(person_62).
person(person_63).
person(person_64).
person(person_65).
person(person_66).
person(person_67).
person(person_68).
person(person_69).
person(person_70).
person(person_71).
person(person_72).
person(person_73).
person(person_74).
person(person_75).
person(person_76).
person(person_77).
person(person_78).
person(person_79).
person(person_80).
person(person_81).
person(person_82).
person(person_83).
person(person_84).
person(person_85).
person(person_86).
person(person_87).
person(person_88).
person(person_89).
person(person_90).
person(person_91).
person(person_92).
person(person_93).
person(person_94).
person(person_95).
person(person_96).
person(person_97).
person(person_98).
person(person_99).
person(person_100).
person(person_101).
person(person_102).
person(person_103).
person(person_104).
person(person_105).
person(person_106).
person(person_107).
person(person_108).
person(person_109).
person(person_110).
person(person_111).
person(person_112).
person(person_113).
person(person_114).
person(person_115).
person(person_116).
person(person_117).
person(person_118).
person(person_119).
person(person_120).
person(person_121).
person(person_122).
person(person_123).
person(person_124).
person(person_125).
person(person_126).
person(person_127).
person(person_128).
person(person_129).
person(person_130).
person(person_131).
person(person_132).
person(person_133).
person(person_134).
person(person_135).
person(person_136).
person(person_137).
person(person_138).
person(person_139).
person(person_140).
person(person_141).
person(person_142).
person(person_143).
person(person_144).
person(person_145).
person(person_146).
person(person_147).
person(person_148).
person(person_149).
person(person_150).
person(person_151).
person(person_152).
person(person_153).
person(person_154).
person(person_155).
person(person_156).
person(person_157).
person(person_158).
person(person_159).
person(person_160).
person(person_161).
person(person_162).
person(person_163).
person(person_164).
person(person_165).
person(person_166).
person(person_167).
person(person_168).
person(person_169).
person(person_170).
person(person_171).
person(person_172).
person(person_173).
person(person_174).
person(person_175).
person(person_176).
person(person_177).
person(person_178).
person(person_179).
person(person_180).
person(person_181).
person(person_182).
person(person_183).
person(person_184).
person(person_185).
person(person_186).
person(person_187).
person(person_188).
person(person_189).
person(person_190).
person(person_191).
person(person_192).
person(person_193).
person(person_194).
person(person_195).
person(person_196).
person(person_197).
person(person_198).
person(person_199).
person(person_200).
person(person_201).
person(person_202).
person(person_203).
person(person_204).
person(person_205).
person(person_206).
person(person_207).
person(person_208).
person(person_209).
person(person_210).
person(person_211).
person(person_212).
person(person_213).
person(person_214).
person(person_215).
person(person_216).
person(person_217).
person(person_218).
person(person_219).
person(person_220).
person(person_221).
person(person_222).
person(person_223).
person(person_224).
person(person_225).
person(person_226).
person(person_227).
person(person_228).
person(person_229).
person(person_230).
person(person_231).
person(person_232).
person(person_233).
person(person_234).
person(person_235).
person(person_236).
person(person_237).
person(person_238).
person(person_239).
person(person_240).
person(person_241).
person(person_242).
person(person_243).
person(person_244).
person(person_245).
person(person_246).
person(person_247).
person(person_248).
person(person_249).
person(person_250).
person(person_251).
person(person_252).
person(person_253).
person(person_254).
person(person_255).
person(person_256).
person(person_257).
person(person_258).
person(person_259).
person(person_260).
person(person_261).
person(person_262).
person(person_263).
person(person_264).
person(person_265).
person(person_266).
person(person_267).
person(person_268).
person(person_269).
person(person_270).
person(person_271).
person(person_272).
person(person_273).
person(person_274).
person(person_275).
person(person_276).
person(person_277).
person(person_278).
person(person_279).
person(person_280).
person(person_281).
person(person_282).
person(person_283).
person(person_284).
person(person_285).
person(person_286).
person(person_287).
person(person_288).
person(person_289).
person(person_290).
person(person_291).
person(person_292).
person(person_293).
person(person_294).
person(person_295).
person(person_296).
person(person_297).
person(person_298).
person(person_299).
person(person_300).
person(person_301).
person(person_302).
person(person_303).
person(person_304).
person(person_305).
person(person_306).
person(person_307).
person(person_308).
person(person_309).
person(person_310).
person(person_311).
person(person_312).
person(person_313).
person(person_314).
person(person_315).
person(person_316).
person(person_317).
person(person_318).
person(person_319).
person(person_320).
person(person_321).
person(person_322).
person(person_323).
person(person_324).
person(person_325).
person(person_326).
person(person_327).
person(person_328).
person(person_329).
person(person_330).
person(person_331).
person(person_332).
person(person_333).
person(person_334).
person(person_335).
person(person_336).
person(person_337).
person(person_338).
person(person_339).
person(person_340).
person(person_341).
person(person_342).
person(person_343).
person(person_344).
person(person_345).
person(person_346).
person(person_347).
person(person_348).
person(person_349).
person(person_350).
person(person_351).
person(person_352).
person(person_353).
person(person_354).
person(person_355).
person(person_356).
person(person_357).
person(person_358).
person(person_359).
person(person_360).
person(person_361).
person(person_362).
person(person_363).
person(person_364).
person(person_365).
person(person_366).
person(person_367).
person(person_368).
person(person_369).
person(person_370).
person(person_371).
person(person_372).
person(person_373).
person(person_374).
person(person_375).
person(person_376).
person(person_377).
person(person_378).
person(person_379).
person(person_380).
person(person_381).
person(person_382).
person(person_383).
person(person_384).
person(person_385).
person(person_386).
person(person_387).
person(person_388).
person(person_389).
person(person_390).
person(person_391).
person(person_392).
person(person_393).
person(person_394).
person(person_395).
person(person_396).
person(person_397).
person(person_398).
person(person_399).
person(person_400).
person(person_401).
person(person_402).
person(person_403).
person(person_404).
person(person_405).
person(person_406).
person(person_407).
person(person_408).
person(person_409).
person(person_410).
person(person_411).
person(person_412).
person(person_413).
person(person_414).
person(person_415).
person(person_416).
person(person_417).
person(person_418).
person(person_419).
person(person_420).
person(person_421).
person(person_422).
person(person_423).
person(person_424).
person(person_425).
person(person_426).
person(person_427).
person(person_428).
person(person_429).
person(person_430).
person(person_431).
person(person_432).
person(person_433).
person(person_434).
person(person_435).
person(person_436).
person(person_437).
person(person_438).
person(person_439).
person(person_440).
person(person_441).
person(person_442).
person(person_443).
person(person_444).
person(person_445).
person(person_446).
person(person_447).
person(person_448).
person(person_449).
person(person_450).
person(person_451).
person(person_452).
person(person_453).
person(person_454).
person(person_455).
person(person_456).
person(person_457).
person(person_458).
person(person_459).
person(person_460).
person(person_461).
person(person_462).
person(person_463).
person(person_464).
person(person_465).
person(person_466).
person(person_467).
person(person_468).
person(person_469).
person(person_470).
person(person_471).
person(person_472).
person(person_473).
person(person_474).
person(person_475).
person(person_476).
person(person_477).
person(person_478).
person(person_479).
person(person_480).
person(person_481).
person(person_482).
person(person_483).
person(person_484).
person(person_485).
person(person_486).
person(person_487).
person(person_488).
person(person_489).
person(person_490).
person(person_491).
person(person_492).
person(person_493).
person(person_494).
person(person_495).
person(person_496).
person(person_497).
person(person_498).
person(person_499).
prod_line(line_0).
machine(machine_0_0).
location(machine_0_0, line_0).
device_action(machine_0_0, state, [read, write]).
device_action(machine_0_0, alarm, [read, notify]).
machine(machine_0_1).
location(machine_0_1, line_0).
device_action(machine_0_1, state, [read, write]).
device_action(machine_0_1, alarm, [read, notify]).
machine(machine_0_2).
location(machine_0_2, line_0).
device_action(machine_0_2, state, [read, write]).
device_action(machine_0_2, alarm, [read, notify]).
machine(machine_0_3).
location(machine_0_3, line_0).
device_action(machine_0_3, state, [read, write]).
device_action(machine_0_3, alarm, [read, notify]).
machine(machine_0_4).
location(machine_0_4, line_0).
device_action(machine_0_4, state, [read, write]).
device_action(machine_0_4, alarm, [read, notify]).
machine(machine_0_5).
location(machine_0_5, line_0).
device_action(machine_0_5, state, [read, write]).
device_action(machine_0_5, alarm, [read, notify]).
machine(machine_0_6).
location(machine_0_6, line_0).
device_action(machine_0_6, state, [read, write]).
device_action(machine_0_6, alarm, [read, notify]).
machine(machine_0_7).
location(machine_0_7, line_0).
device_action(machine_0_7, state, [read, write]).
device_action(machine_0_7, alarm, [read, notify]).
machine(machine_0_8).
location(machine_0_8, line_0).
device_action(machine_0_8, state, [read, write]).
device_action(machine_0_8, alarm, [read, notify]).
machine(machine_0_9).
location(machine_0_9, line_0).
device_action(machine_0_9, state, [read, write]).
device_action(machine_0_9, alarm, [read, notify]).
machine(machine_0_10).
location(machine_0_10, line_0).
device_action(machine_0_10, state, [read, write]).
device_action(machine_0_10, alarm, [read, notify]).
machine(machine_0_11).
location(machine_0_11, line_0).
device_action(machine_0_11, state, [read, write]).
device_action(machine_0_11, alarm, [read, notify]).
machine(machine_0_12).
location(machine_0_12, line_0).
device_action(machine_0_12, state, [read, write]).
device_action(machine_0_12, alarm, [read, notify]).
machine(machine_0_13).
location(machine_0_13, line_0).
device_action(machine_0_13, state, [read, write]).
device_action(machine_0_13, alarm, [read, notify]).
machine(machine_0_14).
location(machine_0_14, line_0).
device_action(machine_0_14, state, [read, write]).
device_action(machine_0_14, alarm, [read, notify]).
machine(machine_0_15).
location(machine_0_15, line_0).
device_action(machine_0_15, state, [read, write]).
device_action(machine_0_15, alarm, [read, notify]).
machine(machine_0_16).
location(machine_0_16, line_0).
device_action(machine_0_16, state, [read, write]).
device_action(machine_0_16, alarm, [read, notify]).
machine(machine_0_17).
location(machine_0_17, line_0).
device_action(machine_0_17, state, [read, write]).
device_action(machine_0_17, alarm, [read, notify]).
machine(machine_0_18).
location(machine_0_18, line_0).
device_action(machine_0_18, state, [read, write]).
device_action(machine_0_18, alarm, [read, notify]).
machine(machine_0_19).
location(machine_0_19, line_0).
device_action(machine_0_19, state, [read, write]).
device_action(machine_0_19, alarm, [read, notify]).
machine(machine_0_20).
location(machine_0_20, line_0).
device_action(machine_0_20, state, [read, write]).
device_action(machine_0_20, alarm, [read, notify]).
machine(machine_0_21).
location(machine_0_21, line_0).
device_action(machine_0_21, state, [read, write]).
device_action(machine_0_21, alarm, [read, notify]).
machine(machine_0_22).
location(machine_0_22, line_0).
device_action(machine_0_22, state, [read, write]).
device_action(machine_0_22, alarm, [read, notify]).
machine(machine_0_23).
location(machine_0_23, line_0).
device_action(machine_0_23, state, [read, write]).
device_action(machine_0_23, alarm, [read, notify]).
machine(machine_0_24).
location(machine_0_24, line_0).
device_action(machine_0_24, state, [read, write]).
device_action(machine_0_24, alarm, [read, notify]).
machine(machine_0_25).
location(machine_0_25, line_0).
device_action(machine_0_25, state, [read, write]).
device_action(machine_0_25, alarm, [read, notify]).
machine(machine_0_26).
location(machine_0_26, line_0).
device_action(machine_0_26, state, [read, write]).
device_action(machine_0_26, alarm, [read, notify]).
machine(machine_0_27).
location(machine_0_27, line_0).
device_action(machine_0_27, state, [read, write]).
device_action(machine_0_27, alarm, [read, notify]).
machine(machine_0_28).
location(machine_0_28, line_0).
device_action(machine_0_28, state, [read, write]).
device_action(machine_0_28, alarm, [read, notify]).
machine(machine_0_29).
location(machine_0_29, line_0).
device_action(machine_0_29, state, [read, write]).
device_action(machine_0_29, alarm, [read, notify]).
machine(machine_0_30).
location(machine_0_30, line_0).
device_action(machine_0_30, state, [read, write]).
device_action(machine_0_30, alarm, [read, notify]).
machine(machine_0_31).
location(machine_0_31, line_0).
device_action(machine_0_31, state, [read, write]).
device_action(machine_0_31, alarm, [read, notify]).
machine(machine_0_32).
location(machine_0_32, line_0).
device_action(machine_0_32, state, [read, write]).
device_action(machine_0_32, alarm, [read, notify]).
machine(machine_0_33).
location(machine_0_33, line_0).
device_action(machine_0_33, state, [read, write]).
device_action(machine_0_33, alarm, [read, notify]).
machine(machine_0_34).
location(machine_0_34, line_0).
device_action(machine_0_34, state, [read, write]).
device_action(machine_0_34, alarm, [read, notify]).
machine(machine_0_35).
location(machine_0_35, line_0).
device_action(machine_0_35, state, [read, write]).
device_action(machine_0_35, alarm, [read, notify]).
machine(machine_0_36).
location(machine_0_36, line_0).
device_action(machine_0_36, state, [read, write]).
device_action(machine_0_36, alarm, [read, notify]).
machine(machine_0_37).
location(machine_0_37, line_0).
device_action(machine_0_37, state, [read, write]).
device_action(machine_0_37, alarm, [read, notify]).
machine(machine_0_38).
location(machine_0_38, line_0).
device_action(machine_0_38, state, [read, write]).
device_action(machine_0_38, alarm, [read, notify]).
machine(machine_0_39).
location(machine_0_39, line_0).
device_action(machine_0_39, state, [read, write]).
device_action(machine_0_39, alarm, [read, notify]).
machine(machine_0_40).
location(machine_0_40, line_0).
device_action(machine_0_40, state, [read, write]).
device_action(machine_0_40, alarm, [read, notify]).
machine(machine_0_41).
location(machine_0_41, line_0).
device_action(machine_0_41, state, [read, write]).
device_action(machine_0_41, alarm, [read, notify]).
machine(machine_0_42).
location(machine_0_42, line_0).
device_action(machine_0_42, state, [read, write]).
device_action(machine_0_42, alarm, [read, notify]).
machine(machine_0_43).
location(machine_0_43, line_0).
device_action(machine_0_43, state, [read, write]).
device_action(machine_0_43, alarm, [read, notify]).
machine(machine_0_44).
location(machine_0_44, line_0).
device_action(machine_0_44, state, [read, write]).
device_action(machine_0_44, alarm, [read, notify]).
machine(machine_0_45).
location(machine_0_45, line_0).
device_action(machine_0_45, state, [read, write]).
device_action(machine_0_45, alarm, [read, notify]).
machine(machine_0_46).
location(machine_0_46, line_0).
device_action(machine_0_46, state, [read, write]).
device_action(machine_0_46, alarm, [read, notify]).
machine(machine_0_47).
location(machine_0_47, line_0).
device_action(machine_0_47, state, [read, write]).
device_action(machine_0_47, alarm, [read, notify]).
machine(machine_0_48).
location(machine_0_48, line_0).
device_action(machine_0_48, state, [read, write]).
device_action(machine_0_48, alarm, [read, notify]).
machine(machine_0_49).
location(machine_0_49, line_0).
device_action(machine_0_49, state, [read, write]).
device_action(machine_0_49, alarm, [read, notify]).
machine(machine_0_50).
location(machine_0_50, line_0).
device_action(machine_0_50, state, [read, write]).
device_action(machine_0_50, alarm, [read, notify]).
machine(machine_0_51).
location(machine_0_51, line_0).
device_action(machine_0_51, state, [read, write]).
device_action(machine_0_51, alarm, [read, notify]).
machine(machine_0_52).
location(machine_0_52, line_0).
device_action(machine_0_52, state, [read, write]).
device_action(machine_0_52, alarm, [read, notify]).
machine(machine_0_53).
location(machine_0_53, line_0).
device_action(machine_0_53, state, [read, write]).
device_action(machine_0_53, alarm, [read, notify]).
machine(machine_0_54).
location(machine_0_54, line_0).
device_action(machine_0_54, state, [read, write]).
device_action(machine_0_54, alarm, [read, notify]).
machine(machine_0_55).
location(machine_0_55, line_0).
device_action(machine_0_55, state, [read, write]).
device_action(machine_0_55, alarm, [read, notify]).
machine(machine_0_56).
location(machine_0_56, line_0).
device_action(machine_0_56, state, [read, write]).
device_action(machine_0_56, alarm, [read, notify]).
machine(machine_0_57).
location(machine_0_57, line_0).
device_action(machine_0_57, state, [read, write]).
device_action(machine_0_57, alarm, [read, notify]).
machine(machine_0_58).
location(machine_0_58, line_0).
device_action(machine_0_58, state, [read, write]).
device_action(machine_0_58, alarm, [read, notify]).
machine(machine_0_59).
location(machine_0_59, line_0).
device_action(machine_0_59, state, [read, write]).
device_action(machine_0_59, alarm, [read, notify]).
machine(machine_0_60).
location(machine_0_60, line_0).
device_action(machine_0_60, state, [read, write]).
device_action(machine_0_60, alarm, [read, notify]).
machine(machine_0_61).
location(machine_0_61, line_0).
device_action(machine_0_61, state, [read, write]).
device_action(machine_0_61, alarm, [read, notify]).
machine(machine_0_62).
location(machine_0_62, line_0).
device_action(machine_0_62, state, [read, write]).
device_action(machine_0_62, alarm, [read, notify]).
machine(machine_0_63).
location(machine_0_63, line_0).
device_action(machine_0_63, state, [read, write]).
device_action(machine_0_63, alarm, [read, notify]).
machine(machine_0_64).
location(machine_0_64, line_0).
device_action(machine_0_64, state, [read, write]).
device_action(machine_0_64, alarm, [read, notify]).
machine(machine_0_65).
location(machine_0_65, line_0).
device_action(machine_0_65, state, [read, write]).
device_action(machine_0_65, alarm, [read, notify]).
machine(machine_0_66).
location(machine_0_66, line_0).
device_action(machine_0_66, state, [read, write]).
device_action(machine_0_66, alarm, [read, notify]).
machine(machine_0_67).
location(machine_0_67, line_0).
device_action(machine_0_67, state, [read, write]).
device_action(machine_0_67, alarm, [read, notify]).
machine(machine_0_68).
location(machine_0_68, line_0).
device_action(machine_0_68, state, [read, write]).
device_action(machine_0_68, alarm, [read, notify]).
machine(machine_0_69).
location(machine_0_69, line_0).
device_action(machine_0_69, state, [read, write]).
device_action(machine_0_69, alarm, [read, notify]).
machine(machine_0_70).
location(machine_0_70, line_0).
device_action(machine_0_70, state, [read, write]).
device_action(machine_0_70, alarm, [read, notify]).
machine(machine_0_71).
location(machine_0_71, line_0).
device_action(machine_0_71, state, [read, write]).
device_action(machine_0_71, alarm, [read, notify]).
machine(machine_0_72).
location(machine_0_72, line_0).
device_action(machine_0_72, state, [read, write]).
device_action(machine_0_72, alarm, [read, notify]).
machine(machine_0_73).
location(machine_0_73, line_0).
device_action(machine_0_73, state, [read, write]).
device_action(machine_0_73, alarm, [read, notify]).
machine(machine_0_74).
location(machine_0_74, line_0).
device_action(machine_0_74, state, [read, write]).
device_action(machine_0_74, alarm, [read, notify]).
machine(machine_0_75).
location(machine_0_75, line_0).
device_action(machine_0_75, state, [read, write]).
device_action(machine_0_75, alarm, [read, notify]).
machine(machine_0_76).
location(machine_0_76, line_0).
device_action(machine_0_76, state, [read, write]).
device_action(machine_0_76, alarm, [read, notify]).
machine(machine_0_77).
location(machine_0_77, line_0).
device_action(machine_0_77, state, [read, write]).
device_action(machine_0_77, alarm, [read, notify]).
machine(machine_0_78).
location(machine_0_78, line_0).
device_action(machine_0_78, state, [read, write]).
device_action(machine_0_78, alarm, [read, notify]).
machine(machine_0_79).
location(machine_0_79, line_0).
device_action(machine_0_79, state, [read, write]).
device_action(machine_0_79, alarm, [read, notify]).
machine(machine_0_80).
location(machine_0_80, line_0).
device_action(machine_0_80, state, [read, write]).
device_action(machine_0_80, alarm, [read, notify]).
machine(machine_0_81).
location(machine_0_81, line_0).
device_action(machine_0_81, state, [read, write]).
device_action(machine_0_81, alarm, [read, notify]).
machine(machine_0_82).
location(machine_0_82, line_0).
device_action(machine_0_82, state, [read, write]).
device_action(machine_0_82, alarm, [read, notify]).
machine(machine_0_83).
location(machine_0_83, line_0).
device_action(machine_0_83, state, [read, write]).
device_action(machine_0_83, alarm, [read, notify]).
machine(machine_0_84).
location(machine_0_84, line_0).
device_action(machine_0_84, state, [read, write]).
device_action(machine_0_84, alarm, [read, notify]).
machine(machine_0_85).
location(machine_0_85, line_0).
device_action(machine_0_85, state, [read, write]).
device_action(machine_0_85, alarm, [read, notify]).
machine(machine_0_86).
location(machine_0_86, line_0).
device_action(machine_0_86, state, [read, write]).
device_action(machine_0_86, alarm, [read, notify]).
machine(machine_0_87).
location(machine_0_87, line_0).
device_action(machine_0_87, state, [read, write]).
device_action(machine_0_87, alarm, [read, notify]).
machine(machine_0_88).
location(machine_0_88, line_0).
device_action(machine_0_88, state, [read, write]).
device_action(machine_0_88, alarm, [read, notify]).
machine(machine_0_89).
location(machine_0_89, line_0).
device_action(machine_0_89, state, [read, write]).
device_action(machine_0_89, alarm, [read, notify]).
machine(machine_0_90).
location(machine_0_90, line_0).
device_action(machine_0_90, state, [read, write]).
device_action(machine_0_90, alarm, [read, notify]).
machine(machine_0_91).
location(machine_0_91, line_0).
device_action(machine_0_91, state, [read, write]).
device_action(machine_0_91, alarm, [read, notify]).
machine(machine_0_92).
location(machine_0_92, line_0).
device_action(machine_0_92, state, [read, write]).
device_action(machine_0_92, alarm, [read, notify]).
machine(machine_0_93).
location(machine_0_93, line_0).
device_action(machine_0_93, state, [read, write]).
device_action(machine_0_93, alarm, [read, notify]).
machine(machine_0_94).
location(machine_0_94, line_0).
device_action(machine_0_94, state, [read, write]).
device_action(machine_0_94, alarm, [read, notify]).
machine(machine_0_95).
location(machine_0_95, line_0).
device_action(machine_0_95, state, [read, write]).
device_action(machine_0_95, alarm, [read, notify]).
machine(machine_0_96).
location(machine_0_96, line_0).
device_action(machine_0_96, state, [read, write]).
device_action(machine_0_96, alarm, [read, notify]).
machine(machine_0_97).
location(machine_0_97, line_0).
device_action(machine_0_97, state, [read, write]).
device_action(machine_0_97, alarm, [read, notify]).
machine(machine_0_98).
location(machine_0_98, line_0).
device_action(machine_0_98, state, [read, write]).
device_action(machine_0_98, alarm, [read, notify]).
machine(machine_0_99).
location(machine_0_99, line_0).
device_action(machine_0_99, state, [read, write]).
device_action(machine_0_99, alarm, [read, notify]).