Converting predicates into terms in first order logic is called reification; the fluent calculus can be seen as a logic in which predicates representing the state of conditions are reified.
Mahogany seeks rewilding, cessation of egregious production of petroleum-based transportation, integration of city concepts and environs, and reification of both high-speed rail and interurban electric traction.
In reflective languages, reification data is causally connected to the related reified aspect such that a modification to one of them affects the other.
