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