Prémisse : Le système supervise le mouvement de toutes les machines dans le port, y compris les cinq grues "robots" monstres navire-terre et les 14 grues à portique, qui déchargent les conteneurs des navires.
Hypothèse : Des robots sont utilisés dans les terminaux maritimes pour déplacer les conteneurs des navires.
Relation : entailment