Added Getter method to FormalDescription