Relative clauses in traditional grammars,which are sometimes called attributive clauses,are divided into two types:restrictive and non-restrictive.Building upon the discussion of recursion in Halliday’s Systemic Functional Grammar(SFG),this paper conducts a functional syntactic analysis of such clauses,aimed at probing into their logical structures.