axiom 
	G(-4, -3.4641 )
	A(120) S(0.5) T--D--D;

rules 4
	T= T+D-T-D+T;
	D= DD;
end

rules 1
	T= F;
	D= F;
end