arc(r_0012_0001__Thus_z_0012_1006,z_0012_1005,z_0012_1003).
( (FRAG (ADVP-CNT (ADV Thus;{thus})) (NP (FO <ast><bcomment>formula<ast><ecomment>)) (PUNC .)) (ID 12_a_lob_j01))