Elles se présentent sous la forme suivante :
si <CONDITION> alors <CONSEQUENCE>La CONDITION porte sur le repérage d'un indice pertinent présent dans le contexte ; la CONSEQUENCE consiste généralement soit en une opération intermédiaire, soit à déclarer directement le résultat final, c'est à dire affecter une valeur sémantique au verbe traité.
Voici une règle écrite en SNARK décrivant un des cas de la valeur d'habitude .
REGLE : (Imparfait) R90
SI
morphème(X) = imparfait
valeur(X) = à_trouver
appartient(Y) = IL4
proposition (X) = proposition
(Y)
ALORS
valeur(X) ¬
HAB
règle (X) ¬
R90
FR
Cette règle, le n° 90 des règles concernant l'imparfait, a pour conditions :