Loogiliste mudelite abil arutati ja arvutati nimelt, kuidas tõhusalt lund lükata, nii et hundid söönud ja lambad terved. Analüüsiti, kuidas mõistavad transpordiameti talvise teehoolde eeskirja sõnastust ja semantikat eri osapooled – omavalitsus tellija rollis ja lepingupartner täitja omas. Andmesimulatsiooni käigus püüti tuvastada, milline tõlgendus oleks suures pildis tulusam.