12_a_lob_j01
Thus <ast><bcomment>formula<ast><ecomment> .
arc(z_0012_1006,r_0012_0001__Thus,cnt).
arc(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))