formal notation for feature templates