In this paper we introduced the notions of: ATL law, RAL law, Semiflower,
Flower, Garden and Farm.
Some new algebraic concepts have been defined. An algorithm for ATL test
has been explained.
Some Lemmas, Propositions and Theorems have been prove
d.