public List<String> getVariableNames() {
   return facts.getVariableNames();
 }
 public String toString() {
   return facts.toString();
 }
 public List<Node> getVariables() {
   return facts.getVariables();
 }