1 规则前提 — rule premise