alse", "FALSE", "false", "F", "⊥"] >> return bot

parseNQuan = do
  nots <- 
parseBot = reservedOps ["False", "FALSE", "false", "F", "⊥"] >> return bot
parseBot = reservedOps ["False", "FALSE", "false", "F", "⊥"] >> return bot