:-initialization(main).

main :-
	portray_clause(A*B),portray_clause(AA*BB).