Utilities for manipulating Unscoped Logical Form (ULF) formulas.
eta.util.ulf.lex
Functions for converting lexemes into ULF symbols.