#axiom

#rules

#end rules