A partial model of NF with ZF