/*
 * Sale 
 */

initial:

	c(fp,inv,invested).


constitutive:

propose_solution
	means 
		proposed_RiskL 
	if 
		!proposed_RiskL &
		!rejected_proposal.

reject_proposal
	means 
		rejected_proposal, 
		release(c(fp, inv, invested)) 
	if 
		!accepted_proposal & 
		proposed_RiskL & 
		!rejected_proposal.

sign_order
	means 
		create(c(inv, bank, contract_ended)),
		accepted_proposal,
		order_signed
	if 
		!order_signed & 
		proposed_RiskL & 
		!rejected_proposal.


countersign_contract
	means 
		contract_countersigned,
		create(c(bank, inv, executed_order)),
		invested
	if 
		order_signed & 
		!contract_countersigned &
		proposed_RiskL. 
		
send_contract
	means 
		contract_sent 
	if 
		!contract_sent 
		& contract_countersigned.

notify
	means 
		notified
	if 
		contract_countersigned
		& !notified
		& !contract_ended & !contract_abort.


end 
	means 
		executed_order, 
		contract_ended 
	if 
		contract_sent & 
		!contract_ended & 
		!contract_abort. 

regulative:
	notified ->. contract_ended.
	contract_sent .-> notified.