(RULES
a p  -> p a A ,
a A  -> A a ,
p A A  -> a p 
)