%% project window for unconstrained/ sequential design session.
transition(enter, archcad, t1).
transition(archcad, attribute, t2).
transition(attribute, thermaleval, t3).
transition(attribute, lighting_sim, t3).
transition(attribute, conformance, t3).
transition(conformance, attribute, t4).
transition(conformance, archcad, t4).
transition(conformance, thermaleval, t4).
transition(conformance, lighting_sim, t4).
transition(thermaleval, archcad, t6).
transition(thermaleval, attribute, t6).
transition(thermaleval, lighting_sim, t6).
transition(thermaleval, exit, t6).
transition(lighting_sim, archcad, t6).
transition(lighting_sim, attribute, t6).
transition(lighting_sim, thermaleval, t6).
transition(lighting_sim, exit, t6).
