+let pp_position_tag = function
+ | `MainConclusion _ -> "MainConclusion"
+ | `MainHypothesis _ -> "MainHypothesis"
+ | `InConclusion -> "InConclusion"
+ | `InHypothesis -> "InHypothesis"
+ | `InBody -> "InBody"
+
+let columns_of_position = function
+ | `MainConclusion (Some d) -> `String "MainConclusion", `Int d
+ | `MainConclusion None -> `String "MainConclusion", `Null
+ | `MainHypothesis (Some d) -> `String "MainHypothesis", `Int d
+ | `MainHypothesis None -> `String "MainHypothesis", `Null
+ | `InConclusion -> `String "InConclusion", `Null
+ | `InHypothesis -> `String "InHypothesis", `Null
+ | `InBody -> `String "InBody", `Null
+
+(*