解析 has procedure