vendingmachine_model :-

	%LEVEL 0
	ard_att_add('Vendingmachine'),
 	ard_property_add(['Vendingmachine']),

	%LEVEL 1
	ard_att_add('Time'),
 	ard_att_add('FundsInMachine'),
 	ard_att_add('ChosenProduct'),
 	ard_att_add('Remittance'),
 	ard_att_add('EnoughCashToChange'),
 	ard_att_add('Pricelist'),
 	ard_att_add('Activity'),
 	ard_finalize(['Vendingmachine'],['Time','ChosenProduct','Remittance','FundsInMachine','EnoughCashToChange','Pricelist','Activity']),

	%LEVEL 2
	ard_split(['Time','ChosenProduct','Remittance','FundsInMachine','EnoughCashToChange','Pricelist','Activity'],
		  [['Time'],['ChosenProduct'],['Remittance'],['FundsInMachine','EnoughCashToChange'],['Pricelist'],['Activity']],
		  [
		   [['Time'],['Activity']],
		   [['FundsInMachine','EnoughCashToChange'],['Activity']],
		   [['ChosenProduct'],['Activity']],
		   [['Remittance'],['Activity']],		   
		   [['Pricelist'],['Activity']]
		  ]),
		  
	ard_split(['FundsInMachine','EnoughCashToChange'],
		  [['FundsInMachine'],['EnoughCashToChange']],
		  [
		   [['FundsInMachine'],['EnoughCashToChange']],
		   [['EnoughCashToChange'],['Activity']]
		  ]),
		  
	ard_att_add('Minute'),
 	ard_att_add('Second'),		  
	ard_finalize(['Time'],['Minute','Second']),
	
	ard_split(['Minute','Second'],
		  [['Minute'],['Second']],
		  [
		   [['Second'],['Minute']],
		   [['Minute'],['Activity']]
		  ]),
		  
	ard_att_add(minute),
	ard_att_add(second),
	ard_finalize(['Minute'],[minute]),
	ard_finalize(['Second'],[second]),	
		  
	ard_att_add(fundsInMachine),
	ard_att_add(chosenProduct),
	ard_att_add(remittance),
	ard_att_add(enoughCashToChange),
	ard_att_add(pricelist),
	ard_att_add(activity),
	
	ard_finalize(['FundsInMachine'],[fundsInMachine]),
	ard_finalize(['ChosenProduct'],[chosenProduct]),
	ard_finalize(['Remittance'],[remittance]),
	ard_finalize(['EnoughCashToChange'],[enoughCashToChange]),
	ard_finalize(['Pricelist'],[pricelist]),
	ard_finalize(['Activity'],[activity]),

	ard_depend_add(['fundsInMachine'],['activity']),	
	ard_depend_add(['pricelist'],['enoughCashToChange']),
	ard_depend_add(['remittance'],['enoughCashToChange']),
	ard_depend_add(['chosenProduct'],['enoughCashToChange']).

:- vendingmachine_model.