t-order logic formula
parseLeftW :: Parser (FOL, Double)
parseLeftW = do
  n <- getDouble
  f <- parseFOLAll
  return (f, n)

-- Parse a first-order logic formula and then a weight
parseRightW :: Parser (FOL, Doub
parseLeftW :: Parser (FOL, Double)
parseLeftW = do
  n <- getDouble
  f <- parseFOLAll
  return (f, n)

-- Parse a first-order logic formula and then a weight
parseLeftW = do
  n <- getDouble
  f <- parseFOLAll
  return (f, n)

-- Parse a first-order logic formula and then a weight