rseNot
  a <- parseAtoms
  return $ n a

parsePredLike = try parseI
parseNegation = do
  n <- parseNot
  a <- parseAtoms
  return $ n a
parseNegation = do
  n <- parseNot
  a <- parseAtoms
  return $ n a