internal bool IsaFilter(Unifiable term, Unifiable filter) { if (!Unifiable.IsValue(term)) { return(false); } if (term == "NIL") { return(false); } if (!Unifiable.IsNullOrEmpty(filter)) { if (Unifiable.IsFalse(filter)) { return(true); } if (this.EvalSubL(TextPatternUtils.SafeFormat("(ask-template 'T `(#$isa {0} {1}) #$EverythingPSC)", Cyclify(term), Cyclify(filter)), null) == "NIL") { return(false); } } return(true); }