(IP-OBJ (CP-CND (ADVP (CS 如果))
(IP-TMP (NP-SBJ (-NONE- *pro*))
(VP (VV 到)
(NP-OBJ (NN 时候))))
(IP (NP-SBJ (NN 地球))
(VP (ADVP (AD 依然))
(VP (VV 运转))))
(PU 、)
(IP (NP-SBJ (NN 科技))
(VP (ADVP (AD 依然))
(VP (VA 发达)))))
(PU ，)
(NP-SBJ (NN 电脑))
(VP (ADVP (AD 想必))
(ADVP (AD 更))
(PP-LOC (P 在)
(LCP (IP (NP-SBJ (NN 人类))
(VP (VV 驱动)))
(LC 下)))
(VP (VV 遍布)
(NP-OBJ (NP (NN 火星))
(CC 与)
(NP (ADJP (JJ 外))
(NP (NN 太空)))))))
ARG0: 人类
REL: 驱动