def prop_smc_prop_estimate(printer, ast):
    """Prints a prob. estimate query "Pr [<=t] ((<>|[]) prop))"."""
    time_bound_str = printer.ast_to_string(ast["timeBound"])
    prop_str = printer.ast_to_string(ast["prop"])
    return f'Pr [{time_bound_str}] ({prop_str})'