Complex sentence: Static type systems usually assign a single type to each "syntactic program entity" (e.g., each bound variable name or expression); this is contrast to dynamically typed systems, which do not typically require that syntactic entities be consistently typed.
Split into simpler sentences: Static type systems usually assign a single type to each "syntactic program entity" (e.g., each bound variable name or expression). This is in contrast to dynamically typed systems, which do not typically require that syntactic entities be consistently typed.