device(S):- machine(S).
device_action(M, state, [read, write]) :- machine(M).
device_action(M, alarm, [read, notify]) :- machine(M).
filter_type(M, alarm,  pass, _) :- machine(M).
prod_line(line_0).
machine(machine_0_0).
property(machine_0_0, alarm, off).
location(machine_0_0, line_0).
map(line_0, alarm, machine_0_0, alarm).
machine(machine_0_1).
property(machine_0_1, alarm, off).
location(machine_0_1, line_0).
map(line_0, alarm, machine_0_1, alarm).
machine(machine_0_2).
property(machine_0_2, alarm, off).
location(machine_0_2, line_0).
map(line_0, alarm, machine_0_2, alarm).
machine(machine_0_3).
property(machine_0_3, alarm, off).
location(machine_0_3, line_0).
map(line_0, alarm, machine_0_3, alarm).
machine(machine_0_4).
property(machine_0_4, alarm, off).
location(machine_0_4, line_0).
map(line_0, alarm, machine_0_4, alarm).
machine(machine_0_5).
property(machine_0_5, alarm, off).
location(machine_0_5, line_0).
map(line_0, alarm, machine_0_5, alarm).
machine(machine_0_6).
property(machine_0_6, alarm, off).
location(machine_0_6, line_0).
map(line_0, alarm, machine_0_6, alarm).
machine(machine_0_7).
property(machine_0_7, alarm, off).
location(machine_0_7, line_0).
map(line_0, alarm, machine_0_7, alarm).
machine(machine_0_8).
property(machine_0_8, alarm, off).
location(machine_0_8, line_0).
map(line_0, alarm, machine_0_8, alarm).
machine(machine_0_9).
property(machine_0_9, alarm, off).
location(machine_0_9, line_0).
map(line_0, alarm, machine_0_9, alarm).
machine(machine_0_10).
property(machine_0_10, alarm, off).
location(machine_0_10, line_0).
map(line_0, alarm, machine_0_10, alarm).
machine(machine_0_11).
property(machine_0_11, alarm, off).
location(machine_0_11, line_0).
map(line_0, alarm, machine_0_11, alarm).
machine(machine_0_12).
property(machine_0_12, alarm, off).
location(machine_0_12, line_0).
map(line_0, alarm, machine_0_12, alarm).
machine(machine_0_13).
property(machine_0_13, alarm, off).
location(machine_0_13, line_0).
map(line_0, alarm, machine_0_13, alarm).
machine(machine_0_14).
property(machine_0_14, alarm, off).
location(machine_0_14, line_0).
map(line_0, alarm, machine_0_14, alarm).
machine(machine_0_15).
property(machine_0_15, alarm, off).
location(machine_0_15, line_0).
map(line_0, alarm, machine_0_15, alarm).
machine(machine_0_16).
property(machine_0_16, alarm, off).
location(machine_0_16, line_0).
map(line_0, alarm, machine_0_16, alarm).
machine(machine_0_17).
property(machine_0_17, alarm, off).
location(machine_0_17, line_0).
map(line_0, alarm, machine_0_17, alarm).
machine(machine_0_18).
property(machine_0_18, alarm, off).
location(machine_0_18, line_0).
map(line_0, alarm, machine_0_18, alarm).
machine(machine_0_19).
property(machine_0_19, alarm, off).
location(machine_0_19, line_0).
map(line_0, alarm, machine_0_19, alarm).
machine(machine_0_20).
property(machine_0_20, alarm, off).
location(machine_0_20, line_0).
map(line_0, alarm, machine_0_20, alarm).
machine(machine_0_21).
property(machine_0_21, alarm, off).
location(machine_0_21, line_0).
map(line_0, alarm, machine_0_21, alarm).
machine(machine_0_22).
property(machine_0_22, alarm, off).
location(machine_0_22, line_0).
map(line_0, alarm, machine_0_22, alarm).
machine(machine_0_23).
property(machine_0_23, alarm, off).
location(machine_0_23, line_0).
map(line_0, alarm, machine_0_23, alarm).
machine(machine_0_24).
property(machine_0_24, alarm, off).
location(machine_0_24, line_0).
map(line_0, alarm, machine_0_24, alarm).
machine(machine_0_25).
property(machine_0_25, alarm, off).
location(machine_0_25, line_0).
map(line_0, alarm, machine_0_25, alarm).
machine(machine_0_26).
property(machine_0_26, alarm, off).
location(machine_0_26, line_0).
map(line_0, alarm, machine_0_26, alarm).
machine(machine_0_27).
property(machine_0_27, alarm, off).
location(machine_0_27, line_0).
map(line_0, alarm, machine_0_27, alarm).
machine(machine_0_28).
property(machine_0_28, alarm, off).
location(machine_0_28, line_0).
map(line_0, alarm, machine_0_28, alarm).
machine(machine_0_29).
property(machine_0_29, alarm, off).
location(machine_0_29, line_0).
map(line_0, alarm, machine_0_29, alarm).
machine(machine_0_30).
property(machine_0_30, alarm, off).
location(machine_0_30, line_0).
map(line_0, alarm, machine_0_30, alarm).
machine(machine_0_31).
property(machine_0_31, alarm, off).
location(machine_0_31, line_0).
map(line_0, alarm, machine_0_31, alarm).
machine(machine_0_32).
property(machine_0_32, alarm, off).
location(machine_0_32, line_0).
map(line_0, alarm, machine_0_32, alarm).
machine(machine_0_33).
property(machine_0_33, alarm, off).
location(machine_0_33, line_0).
map(line_0, alarm, machine_0_33, alarm).
machine(machine_0_34).
property(machine_0_34, alarm, off).
location(machine_0_34, line_0).
map(line_0, alarm, machine_0_34, alarm).
machine(machine_0_35).
property(machine_0_35, alarm, off).
location(machine_0_35, line_0).
map(line_0, alarm, machine_0_35, alarm).
machine(machine_0_36).
property(machine_0_36, alarm, off).
location(machine_0_36, line_0).
map(line_0, alarm, machine_0_36, alarm).
machine(machine_0_37).
property(machine_0_37, alarm, off).
location(machine_0_37, line_0).
map(line_0, alarm, machine_0_37, alarm).
machine(machine_0_38).
property(machine_0_38, alarm, off).
location(machine_0_38, line_0).
map(line_0, alarm, machine_0_38, alarm).
machine(machine_0_39).
property(machine_0_39, alarm, off).
location(machine_0_39, line_0).
map(line_0, alarm, machine_0_39, alarm).