public static TruthValue instanceSatisfiesDescriptionP(Stella_Object instance, Description description) {
    return (Logic.vectorSatisfiesDescriptionP(Stella.vector(Cons.cons(instance, Stella.NIL)), description));
  }