equal
deleted
inserted
replaced
133 if sense.pos: |
133 if sense.pos: |
134 FOUT.write("«") |
134 FOUT.write("«") |
135 FOUT.write(sense.pos) |
135 FOUT.write(sense.pos) |
136 FOUT.write("» ") |
136 FOUT.write("» ") |
137 need_sep = False |
137 need_sep = False |
|
138 if sense.topic_list and len(sense.topic_list) > 0: |
|
139 FOUT.write("⌊") |
|
140 FOUT.write(", ".join(["{"+s+"}" for s in sense.topic_list])) |
|
141 FOUT.write("⌉") |
|
142 need_sep = True |
138 if sense.ant_list and len(sense.ant_list) > 0: |
143 if sense.ant_list and len(sense.ant_list) > 0: |
139 FOUT.write(" ant: ") |
144 FOUT.write(" ant: ") |
140 FOUT.write("; ".join(["{"+s+"}" for s in sense.ant_list])) |
145 FOUT.write("; ".join(["{"+s+"}" for s in sense.ant_list])) |
141 need_sep = True |
146 need_sep = True |
142 if sense.syn_list and len(sense.syn_list) > 0: |
147 if sense.syn_list and len(sense.syn_list) > 0: |