Functional Equivalence with NARS