(NP-SBJ (NN 公理)) (VP (ADVP (AD 早)) (ADVP (AD 就)) (VP (VV 荡然无存)))))
ARG0: 公理 ARGM-ADV: 早 ARGM-ADV: 就 REL: 荡然无存