def serialize(self):
    """Returns the string serialization of the logical form."""
    tokens = ["[" + self.name]
    for arg in self.args:
      if isinstance(arg, TopLF):
        tokens.append(arg.serialize())
      else:
        tokens.append(arg)
    tokens.append("]")
    return " ".join(tokens)
Returns the string serialization of the logical form.
se2/src/utils/top_utils.py