protected boolean isAsserted(StructureTerm term) {
Term termWithPackage = term;// new StructureTerm(delimiter,new
// Term[]{packageName, term});
VariableTerm dontcare = new VariableTerm();
return prolog.execute(new PRED_clause_2(), new Term[] {
termWithPackage, dontcare });
}