12_a_lob_j01
Thus <ast><bcomment>formula<ast><ecomment>.
arc(z_0012_5006,r_0012_0001__Thus,nim).
arc(z_0012_5006,z_0012_5004,z_0012_5002).
( (FRAG (ADVP-NIM (ADV Thus;{thus}))
(NP (FO <ast><bcomment>formula<ast><ecomment>))
(PUNC .))
(ID 12_a_lob_j01))