program to generate SGF properties from Specification file