added the "use as.." button for particular and universal statements
added the "use as.." button for particular and universal statements

MichaelHoffmann/AGORA,mbjornas3/AGORA,MichaelHoffmann/AGORA,mbjornas3/AGORA,MichaelHoffmann/AGORA