buildTerm (x :<-> y) = "[" <> renderTerm x <> " TO " <> renderTerm y <> "]"
buildTerm (x :<-> y) = "[" <> renderTerm x <> " TO " <> renderTerm y <> "]"
buildTerm (x :<-> y) = "[" <> renderTerm x <> " TO " <> renderTerm y <> "]"