(0 'Root' = 
  {
    (0 'part' = [a])
    (0 'part' = [b])
    (0 'part' = [c])
  }
  (1 'tail' = [def])
)