formalizationUses

Given a predicate that represents a relationship or action between entities, generate a one-sentence description explaining its meaning.  
# Instructions
Focus on describing the relationship, not the entities themselves. 
# Response Format
Begin the description with \' Indicates...\'

Predicate: formalizationUses

Indicates that one formalization or formal system makes use of, depends on, or incorporates another resource, method, or framework in its construction or application.