closed-world-assumption public under concept 1247 List Picture As a command %3 n0 closed-world-assumption n1 concept n1->n0