equal
deleted
inserted
replaced
165 if need_sep: |
165 if need_sep: |
166 FOUT.write(" |") |
166 FOUT.write(" |") |
167 FOUT.write(" hypo: ") |
167 FOUT.write(" hypo: ") |
168 FOUT.write("; ".join(["{"+s+"}" for s in sense.hypo_list])) |
168 FOUT.write("; ".join(["{"+s+"}" for s in sense.hypo_list])) |
169 need_sep = True |
169 need_sep = True |
|
170 if sense.col_list and len(sense.col_list) > 0: |
|
171 if need_sep: |
|
172 FOUT.write(" |") |
|
173 FOUT.write(" col: ") |
|
174 FOUT.write("; ".join(["{"+s+"}" for s in sense.col_list])) |
|
175 need_sep = True |
170 if sense.rel_list and len(sense.rel_list) > 0: |
176 if sense.rel_list and len(sense.rel_list) > 0: |
171 if need_sep: |
177 if need_sep: |
172 FOUT.write(" |") |
178 FOUT.write(" |") |
173 FOUT.write(" see: ") |
179 FOUT.write(" see: ") |
174 FOUT.write("; ".join(["{"+s+"}" for s in sense.rel_list])) |
180 FOUT.write("; ".join(["{"+s+"}" for s in sense.rel_list])) |