and ( = )
always and always [ ]
and <A>
and [A]
always and always <A>
always and always [A]
Additional Rules
and [A]
and always [A] always
|- always (always [A]
always [A and and ])
and [A] ( or )
and <A and A>
Enabled <A>
always [A] and WF(A)
( )