corrected: Production to reduction

i hope now its correct
improved formmatting of grammar

the properties are now displayed in the portray clause