A way of extracting models out of NNT