:- eval(test009()).
test009() :-
	P1=ws.prova.examples.Portfolio("Balanced"),
	Text1=P1.toString(),
	println(["Rule A: ",Text1]),
	assert(portfolio(P1)),
	P2=ws.prova.examples.Portfolio(),
	Text2=P2.toString(),
	println(["Rule A: ",Text2]).
test009() :-
	portfolio(P),
	Text=P.toString(),
	println(["Rule B: ",Text]),
	L=P.toList(),
	println(["Rule B: ",L]),
	T=[X,"Sun"],
	T=P.toList(),
	println(["Rule B: ",X]).
