Template:Group property satisfaction