Interpréter lie-07 comme un phénomène de localisation
La proposition verbale lie-07
doit s'interpréter comme un phénomène de localisation dans SSC-15
.
Pour SSC-15
, on doit avoir :
- une instance de localisation L à partir de
lie-07(arg2: L)
- une instance déduite de
lie-07(arg1: I)
- une relation de localisation entre ces deux instances
Concrètement:
-
asteroid-belt-SSC15
instance de la classeasteroid-belt
localisation-between-orbit-of-Mars-and-orbit-of-Jupiter
asteroid-belt-SSC15 hasLocation localisation-between-orbit-of-Mars-and-orbit-of-Jupiter
A ajuster pour avoir les bons nommages.