12_a_lob_j01
Thus <ast><bcomment>formula<ast><ecomment>.

z_0012_5006 _ 0012_0001__Thus thus z_0012_5006->0012_0001__Thus [nim] z_0012_5004 _ z_0012_5006->z_0012_5004
arc(z_0012_5006,r_0012_0001__Thus,nim).
arc(z_0012_5006,z_0012_5004,z_0012_5002).


FRAG ADVP-NIM ADV Thus NP FO <ast><bcomment>formula<ast><ecomment> PUNC .
( (FRAG (ADVP-NIM (ADV Thus;{thus}))
        (NP (FO <ast><bcomment>formula<ast><ecomment>))
        (PUNC .))
  (ID 12_a_lob_j01))