Freezing rain¶
Supercooled liquid precipitation that freezes on contact with surfaces at or below freezing, producing a coating of glaze ice.
Core Idea¶
Freezing rain forms when snow melts in an above-freezing layer aloft and the drops then pass through a shallow subfreezing layer that cools them below 0°C without allowing enough time to refreeze before impact. The vertical temperature profile changes ice to liquid and then supercools the drops; contact nucleation releases latent heat and builds accreted clear ice on exposed surfaces. The abstraction is therefore identified by a declared carrier, a transformation or constraint over that carrier, and an invariant that tells an analyst whether the named structure is genuinely present.
Scope of Application¶
Freezing rain belongs to meteorology and is useful where the analyst can specify the typed meteorology carrier, defining objects and relations, parameters, conventions, evidence, boundary cases, and comparison targets, then evaluate precipitation reaches the surface as supercooled liquid drops and freezes upon contact, rather than arriving already as ice particles. The scope is broad within that domain but bounded by the need for precipitation reaches the surface as supercooled liquid drops and freezes upon contact, rather than arriving already as ice particles. Descriptive meteorological identity only; follow official weather and travel guidance for current hazards.
Clarity¶
The abstraction clarifies a crowded vocabulary by making precipitation reaches the surface as supercooled liquid drops and freezes upon contact, rather than arriving already as ice particles the center of the account. A claim should name the carrier, the governing operation or relation, the applicable assumptions, and the recognition test. A bare label is insufficient because the name Freezing rain can be used for a formal identity, an implementation, or a neighboring result unless carrier and convention are stated.
Manages Complexity¶
Without the abstraction, an analyst must reason directly over many local details: the carrier roles, admissibility assumptions, competing conventions, derived invariants, boundary cases, and proof or validation obligations specific to Freezing rain. Freezing rain compresses them into the roles in the structural signature. That compression permits comparison across instances without erasing the variables that determine validity. It also exposes which details may be varied safely and which are constitutive.
Abstract Reasoning¶
- Identify the carrier. State what the elements, states, objects, or observations are: the typed meteorology carrier, defining objects and relations, parameters, conventions, evidence, boundary cases, and comparison targets. Reject examples whose alleged carrier belongs to a different problem. 2. Lock the constitutive rule. Express precipitation reaches the surface as supercooled liquid drops and freezes upon contact, rather than arriving already as ice particles independently of one notation or implementation.
Knowledge Transfer¶
Knowledge transfers strongly among subfields of meteorology because they reuse the typed meteorology carrier, defining objects and relations, parameters, conventions, evidence, boundary cases, and comparison targets, The vertical temperature profile changes ice to liquid and then supercools the drops; contact nucleation releases latent heat and builds accreted clear ice on exposed surfaces., and type the carrier, state every parameter and convention in the definition, test that precipitation reaches the surface as supercooled liquid drops and freezes upon contact, rather than arriving already as ice particles, compare the nearest accepted identity, and report counterexamples, uncertainty, and limiting cases.
Relationships to Other Abstractions¶
Current abstraction Freezing rain Domain-specific
Parents (1) — more general patterns this builds on
-
Freezing rain is a kind of Tipping Points (or Phase Transitions) Prime
The proposed strict upward parent is
prime:tipping_points_or_phase_transitions.
Hierarchy path (1) — routes to 1 parentless root
- Freezing rain → Tipping Points (or Phase Transitions) → State and State Transition → Phase Space
Neighborhood in Abstraction Space¶
Freezing rain sits in a crowded region of the domain-specific corpus (38th percentile for distinctiveness): several abstractions share nearly its structure, so a description that fits it tends to fit its neighbors too.
Family — Weather, Climate & Atmospheric Dynamics (32 abstractions)
Nearest neighbors
- K-index (meteorology) — 0.91
- Convective available potential energy — 0.91
- Degree of frost — 0.90
- Meteorological intelligence — 0.89
- Ice–albedo feedback — 0.89
Computed from structural-signature embeddings · 2026-09-08