The instances are named after the event, the resource and the source; a risk instance keeps the id of its source in the property induced source. The actuality is shared by all the sources of one resource. The source resource itself gets no risk from its own zone. The generated Creates activates the actuality as soon as the resource is in the feared state, otherwise when the risk is certain, as the default rule of the causal links. The Treat: objective aims at the default state of the concept, or else at the default state shared by the resources. Generated edges are written with their pre- and post-treatments, so that the Code2L interceptor registers their 2L rules.

if risk is not a FREEZE Risk, or no Potential Induces it, or no From Concept / From Role row: return
upsert actuality, "Prevent: " + event, "Treat: " + event   # unless touched by hand
upsert Prevents, Creates (triggering condition), Treats
for potential in potentials inducing the risk:
    sources = assets Generating potential (danger zone radius, contact distance)
    if role: write the law of the sources on Role --Is_Susceptible_To--> potential, give it to the holders
    for resource in resources the risk is about:
        for source in sources, source != resource:
            upsert actuality of the resource (once), its Treat: objective
            upsert risk instance, Near model, Impacts resource, Creates actuality, its Prevent: objective
        if not role: write the law on Resource --Is_Susceptible_To--> potential

The Generates edge from the asset gives danger zone radius (m) (10 by default) and contact distance (m) (1 by default, 0 for a polygon source, which is reached when the resource is inside it). The law only runs while the potential is active, and leaves the risk alone while its actuality is active. Out of the zone, secondsToReach anticipates a resource heading to it when the extrapolation of the trajectories is on. See the generated code in the 2L language.