算術式　関係式　論理式　という分類は聞いたことがあるが>>295みたいなのは初耳だなぁ。