La logjiche e je doprade par furnî la semantiche formâl di come lis funzions dal resonament a dovaressin jessi aplicadis ai simbui intal sisteme KR.