/*
 * Sale 
 */

initial:

	c(fp,inv,invested).


constitutive:

propose_solution
	means 
		proposed_RiskL 
	if 
		!proposed_RiskL &
		!rejected_proposal.
		// & !contract_ended & !contract_abort  

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

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

send_contract
	means 
		create(c(bank, inv, executed_order)),
		invested, 
		contract_sent 
	if 
		!contract_sent 
		& order_signed.
		//!contract_ended & !contract_abort & !rejected_proposal .

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