public void CalculatePredicateFormula(out string pred)
{
string temp = formula + "(";
temp += Arguments[0].gameObject.name;
for (int i = 1; i < Arguments.Count; i++) {
if (Arguments[i] != null) {
temp += ","+Arguments[i].gameObject.name;
}
else{
temp += ",_";
}
}
if (arity > Arguments.Count)
{
for (int i = Arguments.Count; i < arity; i++)
temp += ",_";
}
temp += ")";
pred = temp;
}