import re


def helperRefiy(predicateItem: str) -> str:
    """
    Helper function for reifyStateConstraints() function
    :param predicateItem: example = "!HoldsAt(Dead(), time)."
    :return: example "!HoldsAt(dead, time)."
    """
    result = ""

    if predicateItem[0] == "!":
        result += predicateItem[0]
        predicateItem = predicateItem[1:]

    tokens = re.findall(r'\w+', predicateItem)
    result += tokens[0] + "(" + tokens[1].lower() + ", " + tokens[2] + ")"
    
    if predicateItem[-1] == ".":
        result += "."

    return result