( (IP (IP (NP-SBJ (-NONE- *pro*))
(VP (VV 让)
(NP-OBJ (PN 他们))
(IP (NP-SBJ (-NONE- *PRO*))
(VP (ADVP (AD 一起))
(VP (VV 来)
(VP (VV 鉴证)
(ADVP (AD 一下))
(PU ，)
(NP-OBJ (DP (DT 那个)
(CLP (M 段)))
(DNP (ADJP (JJ 光荣))
(DEG 的))
(NP (NN 历史)))))))))
(PU ，)
(IP (NP-SBJ (-NONE- *pro*))
(VP (ADVP (AD 也))
(VP (VC 是)
(NP-PRD (NP (DP (DT 那)
(CLP (M 段)))
(NP (NN 时候)))
(NP (NP-PN (NR 台湾))
(NP (NN 光复)))
(FLR (DT 那个))
(NP (NN 事宜))))))
(PU ，)))
ARG0: *PRO*
ARGM-ADV: 一起
ARGM-ADV: 一下
ARG1: 那个光荣的历史
REL: 鉴证