Adds another Getter to the FormalDescription class