Added ISGFString for parsing purpose