start_session :-
	asserta(user_level(novice)),		%%%%% demo fudge
	feedback(focus_enabled).

feedback(focus_enabled) :-
	chat_usr([
		' ',
		'Please select one of the models of design.',
		' '
		]).

p_design_type(label).

p_design_type(gt) :-
        chat_usr([
		' ',
		'You have changed the design model to generate & test.',
		' ']).

p_design_type(aa) :-
	chat_usr([
		' ',
		'You have changed the design model to autonomous agents.',
		' ']).

p_design_type(cp) :-		%% summer_overheating session
	asserta(des_type(cp)),
	uset(des_type,cp),
	to_bb(mk_area, transaction),	
	to_bb(update_me, transaction, transaction),
	abolish(transition,3),
	to_bb(journal,[' abolished existing transitions...'] ),
	get_env_var('IFE_HOME', _Ife_Home),	% load network (currently fixed name)
	name(_Ife_Home, _Str1),
	append(_Str1, "lib/uc/combine/kbs/netw_summer_overheating", _Str2),	%% hard-coded name for now
	name(_PT_fname, _Str2),
	[-_PT_fname],
	to_bb(journal,[' PW network ', _PT_fname,' scanned...'] ),
	to_bb(application_dialog, show_petri, _PT_fname),
	focus_concept(master, dtf_palette),
	dtf_palette(initialize),
	chat_usr([
		' ',
		'You have changed the summer overheating design session.',
		' ']).

p_design_type(gds) :-		%% lighting design session
	asserta(des_type(gds)),
	uset(des_type,gds),
	to_bb(mk_area, transaction),
	to_bb(update_me, transaction, transaction),
	abolish(transition,3),
	to_bb(journal,[' abolished existing transitions...'] ),
	get_env_var('IFE_HOME', _Ife_Home),	% load network (currently fixed name)
	name(_Ife_Home, _Str1),
	append(_Str1, "lib/uc/combine/kbs/netw_light", _Str2),	%% hard-coded name for now
	name(_PT_fname, _Str2),
	[-_PT_fname],
	to_bb(journal,[' PW network ', _PT_fname,' scanned...'] ),
	to_bb(application_dialog, show_petri, _PT_fname),
	focus_concept(master, dtf_palette),
	dtf_palette(initialize),
	chat_usr([
		' ',
		'You have changed a lighting design session.',
		' ']).

p_design_type(uc) :-	%% un-constrained unsequenced session
	asserta(des_type(uc)),
	uset(des_type,uc),
	to_bb(mk_area, transaction),
	to_bb(update_me, transaction, transaction),
	abolish(transition,3),
	to_bb(journal,[' abolished existing transitions...'] ),
	get_env_var('IFE_HOME', _Ife_Home),	% load network (currently fixed name)
	name(_Ife_Home, _Str1),
	append(_Str1, "lib/uc/combine/kbs/netw_uc", _Str2),	%% hard-coded name for now
	name(_PT_fname, _Str2),
	[-_PT_fname],
	to_bb(journal,[' PW network ', _PT_fname,' scanned...'] ),
	to_bb(application_dialog, show_petri, _PT_fname),
	focus_concept(master, dtf_palette),
	dtf_palette(initialize),
	chat_usr([
		' ',
		'You have changed the design model to unconstrained.',
		' ']).

p_design_type(con) :-		%% unconstrained sequenced session
	asserta(des_type(con)),
	uset(des_type,con),
	to_bb(mk_area, transaction),
	to_bb(update_me, transaction, transaction),
	abolish(transition,3),		%% get rid of all previous petri
	to_bb(journal,[' abolished existing transitions...'] ),
	get_env_var('IFE_HOME', _Ife_Home),	% load network (currently fixed name)
	name(_Ife_Home, _Str1),
	append(_Str1, "lib/uc/combine/kbs/netw_uc_seq", _Str2),	%% hard-coded name for now
	name(_PT_fname, _Str2),
	[-_PT_fname],
	to_bb(journal,[' PW network ', _PT_fname,' scanned...'] ),
	to_bb(application_dialog, show_petri, _PT_fname),
	focus_concept(master, dtf_palette),
	dtf_palette(initialize),
	chat_usr([
		'A "constrained" design session begins with one of the design functions',
		'available on the palette.  When you are ready please click on a button.',
		' ']).
