The Ncl Natural Constraint Language door Jianyang Zhou