Prémisse : La société ferroviaire française SNCF coopère au projet.
Hypothèse : La société ferroviaire française s'appelle SNCF.
Relation : entailment