(IP 
  (ADVP 
    (AD 其实))
                    
  (PU ，)
                    
  (NP-SBJ 
    (NN 冰冻三尺))
                    
  (PU ，)
                    
  (VP 
    (VV 非一日之寒))
                    
  (PU 。))
arg0: 
                    冰冻三尺