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).
prod_line(line_1).
machine(machine_1_0).
property(machine_1_0, alarm, off).
location(machine_1_0, line_1).
map(line_1, alarm, machine_1_0, alarm).
machine(machine_1_1).
property(machine_1_1, alarm, off).
location(machine_1_1, line_1).
map(line_1, alarm, machine_1_1, alarm).
machine(machine_1_2).
property(machine_1_2, alarm, off).
location(machine_1_2, line_1).
map(line_1, alarm, machine_1_2, alarm).
machine(machine_1_3).
property(machine_1_3, alarm, off).
location(machine_1_3, line_1).
map(line_1, alarm, machine_1_3, alarm).
machine(machine_1_4).
property(machine_1_4, alarm, off).
location(machine_1_4, line_1).
map(line_1, alarm, machine_1_4, alarm).
machine(machine_1_5).
property(machine_1_5, alarm, off).
location(machine_1_5, line_1).
map(line_1, alarm, machine_1_5, alarm).
machine(machine_1_6).
property(machine_1_6, alarm, off).
location(machine_1_6, line_1).
map(line_1, alarm, machine_1_6, alarm).
machine(machine_1_7).
property(machine_1_7, alarm, off).
location(machine_1_7, line_1).
map(line_1, alarm, machine_1_7, alarm).
machine(machine_1_8).
property(machine_1_8, alarm, off).
location(machine_1_8, line_1).
map(line_1, alarm, machine_1_8, alarm).
machine(machine_1_9).
property(machine_1_9, alarm, off).
location(machine_1_9, line_1).
map(line_1, alarm, machine_1_9, alarm).
machine(machine_1_10).
property(machine_1_10, alarm, off).
location(machine_1_10, line_1).
map(line_1, alarm, machine_1_10, alarm).
machine(machine_1_11).
property(machine_1_11, alarm, off).
location(machine_1_11, line_1).
map(line_1, alarm, machine_1_11, alarm).
machine(machine_1_12).
property(machine_1_12, alarm, off).
location(machine_1_12, line_1).
map(line_1, alarm, machine_1_12, alarm).
machine(machine_1_13).
property(machine_1_13, alarm, off).
location(machine_1_13, line_1).
map(line_1, alarm, machine_1_13, alarm).
machine(machine_1_14).
property(machine_1_14, alarm, off).
location(machine_1_14, line_1).
map(line_1, alarm, machine_1_14, alarm).
machine(machine_1_15).
property(machine_1_15, alarm, off).
location(machine_1_15, line_1).
map(line_1, alarm, machine_1_15, alarm).
machine(machine_1_16).
property(machine_1_16, alarm, off).
location(machine_1_16, line_1).
map(line_1, alarm, machine_1_16, alarm).
machine(machine_1_17).
property(machine_1_17, alarm, off).
location(machine_1_17, line_1).
map(line_1, alarm, machine_1_17, alarm).
machine(machine_1_18).
property(machine_1_18, alarm, off).
location(machine_1_18, line_1).
map(line_1, alarm, machine_1_18, alarm).
machine(machine_1_19).
property(machine_1_19, alarm, off).
location(machine_1_19, line_1).
map(line_1, alarm, machine_1_19, alarm).
machine(machine_1_20).
property(machine_1_20, alarm, off).
location(machine_1_20, line_1).
map(line_1, alarm, machine_1_20, alarm).
machine(machine_1_21).
property(machine_1_21, alarm, off).
location(machine_1_21, line_1).
map(line_1, alarm, machine_1_21, alarm).
machine(machine_1_22).
property(machine_1_22, alarm, off).
location(machine_1_22, line_1).
map(line_1, alarm, machine_1_22, alarm).
machine(machine_1_23).
property(machine_1_23, alarm, off).
location(machine_1_23, line_1).
map(line_1, alarm, machine_1_23, alarm).
machine(machine_1_24).
property(machine_1_24, alarm, off).
location(machine_1_24, line_1).
map(line_1, alarm, machine_1_24, alarm).
prod_line(line_2).
machine(machine_2_0).
property(machine_2_0, alarm, off).
location(machine_2_0, line_2).
map(line_2, alarm, machine_2_0, alarm).
machine(machine_2_1).
property(machine_2_1, alarm, off).
location(machine_2_1, line_2).
map(line_2, alarm, machine_2_1, alarm).
machine(machine_2_2).
property(machine_2_2, alarm, off).
location(machine_2_2, line_2).
map(line_2, alarm, machine_2_2, alarm).
machine(machine_2_3).
property(machine_2_3, alarm, off).
location(machine_2_3, line_2).
map(line_2, alarm, machine_2_3, alarm).
machine(machine_2_4).
property(machine_2_4, alarm, off).
location(machine_2_4, line_2).
map(line_2, alarm, machine_2_4, alarm).
machine(machine_2_5).
property(machine_2_5, alarm, off).
location(machine_2_5, line_2).
map(line_2, alarm, machine_2_5, alarm).
machine(machine_2_6).
property(machine_2_6, alarm, off).
location(machine_2_6, line_2).
map(line_2, alarm, machine_2_6, alarm).
machine(machine_2_7).
property(machine_2_7, alarm, off).
location(machine_2_7, line_2).
map(line_2, alarm, machine_2_7, alarm).
machine(machine_2_8).
property(machine_2_8, alarm, off).
location(machine_2_8, line_2).
map(line_2, alarm, machine_2_8, alarm).
machine(machine_2_9).
property(machine_2_9, alarm, off).
location(machine_2_9, line_2).
map(line_2, alarm, machine_2_9, alarm).
machine(machine_2_10).
property(machine_2_10, alarm, off).
location(machine_2_10, line_2).
map(line_2, alarm, machine_2_10, alarm).
machine(machine_2_11).
property(machine_2_11, alarm, off).
location(machine_2_11, line_2).
map(line_2, alarm, machine_2_11, alarm).
machine(machine_2_12).
property(machine_2_12, alarm, off).
location(machine_2_12, line_2).
map(line_2, alarm, machine_2_12, alarm).
machine(machine_2_13).
property(machine_2_13, alarm, off).
location(machine_2_13, line_2).
map(line_2, alarm, machine_2_13, alarm).
machine(machine_2_14).
property(machine_2_14, alarm, off).
location(machine_2_14, line_2).
map(line_2, alarm, machine_2_14, alarm).
machine(machine_2_15).
property(machine_2_15, alarm, off).
location(machine_2_15, line_2).
map(line_2, alarm, machine_2_15, alarm).
machine(machine_2_16).
property(machine_2_16, alarm, off).
location(machine_2_16, line_2).
map(line_2, alarm, machine_2_16, alarm).
machine(machine_2_17).
property(machine_2_17, alarm, off).
location(machine_2_17, line_2).
map(line_2, alarm, machine_2_17, alarm).
machine(machine_2_18).
property(machine_2_18, alarm, off).
location(machine_2_18, line_2).
map(line_2, alarm, machine_2_18, alarm).
machine(machine_2_19).
property(machine_2_19, alarm, off).
location(machine_2_19, line_2).
map(line_2, alarm, machine_2_19, alarm).
machine(machine_2_20).
property(machine_2_20, alarm, off).
location(machine_2_20, line_2).
map(line_2, alarm, machine_2_20, alarm).
machine(machine_2_21).
property(machine_2_21, alarm, off).
location(machine_2_21, line_2).
map(line_2, alarm, machine_2_21, alarm).
machine(machine_2_22).
property(machine_2_22, alarm, off).
location(machine_2_22, line_2).
map(line_2, alarm, machine_2_22, alarm).
machine(machine_2_23).
property(machine_2_23, alarm, off).
location(machine_2_23, line_2).
map(line_2, alarm, machine_2_23, alarm).
machine(machine_2_24).
property(machine_2_24, alarm, off).
location(machine_2_24, line_2).
map(line_2, alarm, machine_2_24, alarm).
prod_line(line_3).
machine(machine_3_0).
property(machine_3_0, alarm, off).
location(machine_3_0, line_3).
map(line_3, alarm, machine_3_0, alarm).
machine(machine_3_1).
property(machine_3_1, alarm, off).
location(machine_3_1, line_3).
map(line_3, alarm, machine_3_1, alarm).
machine(machine_3_2).
property(machine_3_2, alarm, off).
location(machine_3_2, line_3).
map(line_3, alarm, machine_3_2, alarm).
machine(machine_3_3).
property(machine_3_3, alarm, off).
location(machine_3_3, line_3).
map(line_3, alarm, machine_3_3, alarm).
machine(machine_3_4).
property(machine_3_4, alarm, off).
location(machine_3_4, line_3).
map(line_3, alarm, machine_3_4, alarm).
machine(machine_3_5).
property(machine_3_5, alarm, off).
location(machine_3_5, line_3).
map(line_3, alarm, machine_3_5, alarm).
machine(machine_3_6).
property(machine_3_6, alarm, off).
location(machine_3_6, line_3).
map(line_3, alarm, machine_3_6, alarm).
machine(machine_3_7).
property(machine_3_7, alarm, off).
location(machine_3_7, line_3).
map(line_3, alarm, machine_3_7, alarm).
machine(machine_3_8).
property(machine_3_8, alarm, off).
location(machine_3_8, line_3).
map(line_3, alarm, machine_3_8, alarm).
machine(machine_3_9).
property(machine_3_9, alarm, off).
location(machine_3_9, line_3).
map(line_3, alarm, machine_3_9, alarm).
machine(machine_3_10).
property(machine_3_10, alarm, off).
location(machine_3_10, line_3).
map(line_3, alarm, machine_3_10, alarm).
machine(machine_3_11).
property(machine_3_11, alarm, off).
location(machine_3_11, line_3).
map(line_3, alarm, machine_3_11, alarm).
machine(machine_3_12).
property(machine_3_12, alarm, off).
location(machine_3_12, line_3).
map(line_3, alarm, machine_3_12, alarm).
machine(machine_3_13).
property(machine_3_13, alarm, off).
location(machine_3_13, line_3).
map(line_3, alarm, machine_3_13, alarm).
machine(machine_3_14).
property(machine_3_14, alarm, off).
location(machine_3_14, line_3).
map(line_3, alarm, machine_3_14, alarm).
machine(machine_3_15).
property(machine_3_15, alarm, off).
location(machine_3_15, line_3).
map(line_3, alarm, machine_3_15, alarm).
machine(machine_3_16).
property(machine_3_16, alarm, off).
location(machine_3_16, line_3).
map(line_3, alarm, machine_3_16, alarm).
machine(machine_3_17).
property(machine_3_17, alarm, off).
location(machine_3_17, line_3).
map(line_3, alarm, machine_3_17, alarm).
machine(machine_3_18).
property(machine_3_18, alarm, off).
location(machine_3_18, line_3).
map(line_3, alarm, machine_3_18, alarm).
machine(machine_3_19).
property(machine_3_19, alarm, off).
location(machine_3_19, line_3).
map(line_3, alarm, machine_3_19, alarm).
machine(machine_3_20).
property(machine_3_20, alarm, off).
location(machine_3_20, line_3).
map(line_3, alarm, machine_3_20, alarm).
machine(machine_3_21).
property(machine_3_21, alarm, off).
location(machine_3_21, line_3).
map(line_3, alarm, machine_3_21, alarm).
machine(machine_3_22).
property(machine_3_22, alarm, off).
location(machine_3_22, line_3).
map(line_3, alarm, machine_3_22, alarm).
machine(machine_3_23).
property(machine_3_23, alarm, off).
location(machine_3_23, line_3).
map(line_3, alarm, machine_3_23, alarm).
machine(machine_3_24).
property(machine_3_24, alarm, off).
location(machine_3_24, line_3).
map(line_3, alarm, machine_3_24, alarm).
prod_line(line_4).
machine(machine_4_0).
property(machine_4_0, alarm, off).
location(machine_4_0, line_4).
map(line_4, alarm, machine_4_0, alarm).
machine(machine_4_1).
property(machine_4_1, alarm, off).
location(machine_4_1, line_4).
map(line_4, alarm, machine_4_1, alarm).
machine(machine_4_2).
property(machine_4_2, alarm, off).
location(machine_4_2, line_4).
map(line_4, alarm, machine_4_2, alarm).
machine(machine_4_3).
property(machine_4_3, alarm, off).
location(machine_4_3, line_4).
map(line_4, alarm, machine_4_3, alarm).
machine(machine_4_4).
property(machine_4_4, alarm, off).
location(machine_4_4, line_4).
map(line_4, alarm, machine_4_4, alarm).
machine(machine_4_5).
property(machine_4_5, alarm, off).
location(machine_4_5, line_4).
map(line_4, alarm, machine_4_5, alarm).
machine(machine_4_6).
property(machine_4_6, alarm, off).
location(machine_4_6, line_4).
map(line_4, alarm, machine_4_6, alarm).
machine(machine_4_7).
property(machine_4_7, alarm, off).
location(machine_4_7, line_4).
map(line_4, alarm, machine_4_7, alarm).
machine(machine_4_8).
property(machine_4_8, alarm, off).
location(machine_4_8, line_4).
map(line_4, alarm, machine_4_8, alarm).
machine(machine_4_9).
property(machine_4_9, alarm, off).
location(machine_4_9, line_4).
map(line_4, alarm, machine_4_9, alarm).
machine(machine_4_10).
property(machine_4_10, alarm, off).
location(machine_4_10, line_4).
map(line_4, alarm, machine_4_10, alarm).
machine(machine_4_11).
property(machine_4_11, alarm, off).
location(machine_4_11, line_4).
map(line_4, alarm, machine_4_11, alarm).
machine(machine_4_12).
property(machine_4_12, alarm, off).
location(machine_4_12, line_4).
map(line_4, alarm, machine_4_12, alarm).
machine(machine_4_13).
property(machine_4_13, alarm, off).
location(machine_4_13, line_4).
map(line_4, alarm, machine_4_13, alarm).
machine(machine_4_14).
property(machine_4_14, alarm, off).
location(machine_4_14, line_4).
map(line_4, alarm, machine_4_14, alarm).
machine(machine_4_15).
property(machine_4_15, alarm, off).
location(machine_4_15, line_4).
map(line_4, alarm, machine_4_15, alarm).
machine(machine_4_16).
property(machine_4_16, alarm, off).
location(machine_4_16, line_4).
map(line_4, alarm, machine_4_16, alarm).
machine(machine_4_17).
property(machine_4_17, alarm, off).
location(machine_4_17, line_4).
map(line_4, alarm, machine_4_17, alarm).
machine(machine_4_18).
property(machine_4_18, alarm, off).
location(machine_4_18, line_4).
map(line_4, alarm, machine_4_18, alarm).
machine(machine_4_19).
property(machine_4_19, alarm, off).
location(machine_4_19, line_4).
map(line_4, alarm, machine_4_19, alarm).
machine(machine_4_20).
property(machine_4_20, alarm, off).
location(machine_4_20, line_4).
map(line_4, alarm, machine_4_20, alarm).
machine(machine_4_21).
property(machine_4_21, alarm, off).
location(machine_4_21, line_4).
map(line_4, alarm, machine_4_21, alarm).
machine(machine_4_22).
property(machine_4_22, alarm, off).
location(machine_4_22, line_4).
map(line_4, alarm, machine_4_22, alarm).
machine(machine_4_23).
property(machine_4_23, alarm, off).
location(machine_4_23, line_4).
map(line_4, alarm, machine_4_23, alarm).
machine(machine_4_24).
property(machine_4_24, alarm, off).
location(machine_4_24, line_4).
map(line_4, alarm, machine_4_24, alarm).