. Holide, Assaf) Semantics of FoCaLiZe in Dedukti