formal semantics early impact - Search