diff --git a/chapters/synchronous.tex b/chapters/synchronous.tex
index 3b8f85092..8e3dff290 100644
--- a/chapters/synchronous.tex
+++ b/chapters/synchronous.tex
@@ -1012,7 +1012,6 @@ \subsection{Sub-clock Partitioning}\label{sub-clock-partitioning}
 \subsection{Sub-clock Inferencing}\label{sub-clock-inferencing}
 
 For each base-clock partition, the base interval needs to be determined and for each sub-clock partition, the sub-sampling factors and shift need to be determined.
-For each sub-clock partition, the interval might be rational or \lstinline!Real! type and known or parameter expression or being unspecified. % This sentence is impossible to parse!
 The sub-clock partition intervals are constrained by \lstinline!subSample! and \lstinline!superSample! factors which might be known (or parameter expression) or unspecified, as well as by \lstinline!shiftSample!, \lstinline!shiftCounter! and \lstinline!resolution!, or \lstinline!backSample!, \lstinline!backCounter! and \lstinline!resolution!.
 This constraint set is used to solve for all intervals and sub-sampling factors and shift of the sub-clock partitions.
 The model is erroneous if no solution exist.