PredLike
  <|> parseNegation
  <|> parseTop
  <|> parseBot
  <|> parens parseFOLAll

parsePred = do
  args <- T
parseAtoms =
      try parsePredLike
  <|> parseNegation
  <|> parseTop
  <|> parseBot
  <|> parens parseFOLAll
parseAtoms =
      try parsePredLike
  <|> parseNegation
  <|> parseTop
  <|> parseBot
  <|> parens parseFOLAll