%% summer overheating petri kb facts.
%% <place_name> <place_name> <transition_name>
transition(enter, archcad, t1).
transition(enter, climate, t1).
transition(archcad, attribute, t2).
transition(attribute, climate, t3).
transition(climate, so_simulator, t4).
transition(so_simulator, find_worst, t5).
transition(find_worst, show_graphs, t6).
transition(show_graphs, show_balance, t7).
transition(show_balance, attribute, t8).
transition(show_balance, enter, t8).
transition(show_balance, exit, t8).
	
