1 files changed, 25 insertions, 0 deletions

diff --git a/extra/abbrev/parse.py b/extra/abbrev/parse.py
new file mode 100644
index 0000000..93700ff
--- /dev/null
+++ b/extra/abbrev/parse.py
@@ -0,0 +1,25 @@
+#!/usr/bin/env python
+
+import fileinput
+import json
+
+# {"children":[{"tag":"b"}],"tag":"dt","text":"A + U-ARCHITECTURE AND URBANISM"}
+# {"children":[{"tag":"b","text":"A U-ARCHIT URBAN"}],"tag":"dd"}
+# {"children":[{"tag":"b"}],"tag":"dt","text":"A CRITICAL REVIEW: LASER TECHNOLOGIES FOR DEFENSE AND SECURITY"}
+# {"children":[{"tag":"b","text":"P SOC PHOTO-OPT INS"}],"tag":"dd"}
+# {"children":[{"tag":"b"}],"tag":"dt","text":"A KALEIDOSCOPIC VIEW OF NATURAL RESOURCES"}
+# {"children":[{"tag":"b"}],"tag":"dd"}
+# {"children":[{"tag":"b"}],"tag":"dt","text":"A MIDSUMMER NIGHT'S DREAM"}
+# {"children":[{"tag":"b","text":"SHAKESPEARE SURV"}],"tag":"dd"}
+# {"children":[{"tag":"b"}],"tag":"dt","text":"A N A E-APPROCHE NEUROPSYCHOLOGIQUE DES APPRENTISSAGES CHEZ L ENFANT"}
+
+current = {}
+for i, line in enumerate(fileinput.input()):
+    line = line.strip()
+    doc = json.loads(line)
+    if i % 2 == 0:
+        current["name"] = doc.get("text")
+    else:
+        current["abbr"] = doc["children"][0].get("text")
+        print(current)
+        current = {}