Template:Sdf group property satisfaction in