what is the intent here?
how does deduce_semantic work as an extension point?