LOOM
(defconcept SWAN_SERVICE :is (and TACHE_SERVICE (:filled-by NOM_TACHE "SWAN") (:filled-by CONTROLE_TACHE '(ET (PRESENTATION_SERVICES (OU (SERVICE_ROUTE SERVICE_INFO_ROUTE SERVICE_PORT_MOUILLAGE SERVICE_ATTERRISSAGE SERVICE_RECHERCHE_INFOS)) TERMINAISON_SERVICES))) (:at-most 4 TACHE_COMPOSE_DE) (:some TACHE_COMPOSE_DE PRESENTATION_SERVICES) (:some TACHE_COMPOSE_DE (:or SERVICE_ROUTE SERVICE_INFO_ROUTE SERVICE_PORT_MOUILLAGE SERVICE_ATTERRISSAGE SERVICE_RECHERCHE_INFOS)) (:some TACHE_COMPOSE_DE TERMINAISON_SERVICES)))