Gather semantic component associations from arrow declarations at the beginning of explication
Gather semantic component associations from arrow declarations at the beginning of explication

metaborg/dynsem,metaborg/dynsem