Complex sentence: Treating predicates as functions in first-order logic is called reification; fluents represented by functions are therefore said to be reified.
Split into simpler sentences: Treating predicates as functions in first-order logic is called reification. Fluents represented by functions are therefore said to be reified.