It describes the system using the functional unification grammar and also discusses the matching algorithm, syntax analysis and decidable problem analysis.