%% File: conds.db                        Oct 15, 1997

%% This file stores the generic condition statements for 
%% all entity functions which are included in a process. 

%--------------------------------------------
%% common entity end life status 
%--------------------------------------------

 life_cycle_end_status(_Entity, invalid).
 life_cycle_end_status(_Entity, cancelled).
 life_cycle_end_status(_Entity, terminated).
 life_cycle_end_status(_Entity, closed).

 terminated_life_status(invalid).
 terminated_life_status(cancelled).
 terminated_life_status(terminated).
 terminated_life_status(closed).

%--------------------------------------------
%% 1. Originate Focal entity

precondition(originate_focal_entity,
	[notexists,originate_focal_entity(_Entity,_ID)] ).

precondition(  
        originate_focal_entity,
	[exists,parents_of_originate_focal_entity(_Entity,_ID)] ).

postcondition(originate_focal_entity,
	[exists,originate_focal_entity(_Entity,_ID)]).

postcondition(originate_focal_entity,
	[exists,occ_originate_focal_entity(_Entity,_ID)]).

%--------------------------------------------
%% 2. Originate Normal entity

precondition(originate_normal_entity,
        [notexists, originate_normal_entity(_Entity,_ID)] ).

precondition(originate_normal_entity,
        [exists, parents_of_originate_normal_entity(_Entity,_ID)]).

postcondition(originate_normal_entity,
	[exists, originate_normal_entity(_Entity,_ID)]).

postcondition(originate_normal_entity,
	[exists, occ_originate_normal_entity(_Entity,_ID)]).

%--------------------------------------------
%% 3. In-flight entity

precondition(originate_if_entity,
        [notexists, originate_if_entity(_Entity,_ID)] ).

precondition(originate_if_entity,
        [exists, parents_of_originate_if_entity(_Entity,_ID)] ).
%% 
postcondition(originate_if_entity,
	[exists, originate_if_entity(_Entity,_ID)] ).

postcondition(originate_if_entity,
	[exists, occ_originate_if_entity(_Entity,_ID)] ).

%--------------------------------------------
%% 4. Change Focal entity

precondition(change_focal_entity,
      [exists, change_focal_entity(_Entity,_ID)]).

postcondition(change_focal_entity,
      [exists,occ_change_focal_entity(_Entity,_ID)]).

%--------------------------------------------
%% 5. Change Normal Entity

precondition(change_normal_entity,
      [exists, change_normal_entity(_Entity,_ID)] ).

postcondition(change_normal_entity,
        [exists,occ_change_focal_entity(_Entity,_ID)]).

%--------------------------------------------
% 6. Refer Normal entity

precondition(refer_normal_entity,
     [exists, refer_normal_entity(_Entity,_ID)]). 

postcondition(refer_normal_entity,
     [exists, occ_refer_normal_entity(_Entity,_ID)]). 

%--------------------------------------------
%% 7. Refer Master entity

precondition(refer_master_entity,
     [exists, refer_master_entity(_Entity,_ID)]).

postcondition(refer_master_entity,
     [exists, occ_refer_master_entity(_Entity,_ID)]).

%--------------------------------------------