import re
import typing


def parse_args(str_prop: str) -> typing.List[str]:
    """Parses the arguments of a proposition string."""

    matches = re.match("[^\(]*\(([^\)]*)", str_prop)
    if matches is None:
        raise ValueError(f"Unable to parse objects from '{str_prop}'.")
    str_args = matches.group(1).replace(" ", "").split(",")
    return str_args