convert hets-dependencies to meta-formula.