The `el-find-if-nart` Cyc function is not present in OpenCyc, so we have to devise another method for translating NARTs to their actual values.