- Term.parseTerm
  reservedOps ["!=", "/=", "\\neq"]
  right <- Term.parseTerm
  return $ Not $ Atom $ Predicate "Identity" [left, right]

parseNot :: Parser (FOL ->
parseNIdentity = do
  left <- Term.parseTerm
  reservedOps ["!=", "/=", "\\neq"]
  right <- Term.parseTerm
  return $ Not $ Atom $ Predicate "Identity" [left, right]
parseNIdentity = do
  left <- Term.parseTerm
  reservedOps ["!=", "/=", "\\neq"]
  right <- Term.parseTerm
  return $ Not $ Atom $ Predicate "Identity" [left, right]