let pos = if b then "MainConclusion" else "InConclusion" in
M.Select ("uri",
M.Relation (M.ExactOp, ["backPointer"], M.Ref (M.Const [r]), ["pos"]),
let pos = if b then "MainConclusion" else "InConclusion" in
M.Select ("uri",
M.Relation (M.ExactOp, ["backPointer"], M.Ref (M.Const [r]), ["pos"]),