#!/usr/bin/env python3
'''
'''

import re

reVar = re.compile(r"[A-Za-z_]\w*$")
reNam = re.compile(r"([A-Za-z_]\w*)")
reVal = re.compile(r"[\w()%/+*-]+$")
reInv = re.compile(r"(?:\b\d+[A-Za-z_])|(?://)|(?:\*\*)|(?:\w\()")
SUF = "V_"
Var = {}

def calc(s, Var):
    if s.startswith("#"):
        return
    *V, H = s.split("=")
    if len(V)>1:
        return "Syntax"

    if V and not reVar.match(V[0]):
        return "Assignment"

    if all((H, reVal.match(H), not reInv.search(H))):
        try:
            Hr = reNam.sub(rf"{SUF}\1", H).replace("/", "//")
            R = eval(Hr, {'__builtins__': {}}, Var)
        except NameError as E:
            return  "Name"
        except Exception as E:
            return  "Runtime"
        else:
            if type(R) is not int:
                return  "Syntax"
    else:
        return  "Syntax"

    if V:
        Var[SUF+V[0]] = R
    else:
        return R

s = input().strip().replace(' ', '')
while s:
    R = calc(s, Var)
    if R != None:
        print(R if type(R) is int else f"{R} error")
    s = input().strip().replace(' ', '')