e)
parseRightW = do
  f <- parseFOLAll
  n <- getDouble
  return (f, n)

parseWeighted :: Parser (FOL, D
parseRightW :: Parser (FOL, Double)
parseRightW = do
  f <- parseFOLAll
  n <- getDouble
  return (f, n)
parseRightW = do
  f <- parseFOLAll
  n <- getDouble
  return (f, n)