Interpréter know-02 comme phénomène d'instanciation
Le motif know-02(arg1:X, arg2:xxx)
doit être interprété comme un phénomène d'instanciation, avec xxx
instance de X
.
Mettre à jour la table des propositions, et définir la règle adéquate pour produire la bonne interprétation de ce mot-clé.
Voir SSC-16 : know-02(arg1:region, arg2:and) et and(op1: KuiperBelt, op2: scatteredDisk)
donne :kuiperBelt
et :ScatteredDisk
instance de Region
.