Cleanup related to recognized named in synchronous

chapters/synchronous.tex

@@ -1006,23 +1006,13 @@ \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 Real type and known or parametric or being unspecified.
-The sub-clock partition intervals are constrained by subSample and
-superSample factors which might be known (or parametric) or unspecified
-and by shiftSample shiftCounter and resolution or backSample,
-backCounter and 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.
+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 parametric or being unspecified.  The sub-clock partition intervals are constrained by \lstinline!subSample! and \lstinline!superSample! factors which might be known (or parametric) or unspecified and by \lstinline!shiftSample! \lstinline!shiftCounter! and resolution or \lstinline!backSample!, \lstinline!backCounter! and 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.
 
 \begin{nonnormative}
 It must be possible to determine that the constraint set is valid at compile time.  However, in certain cases, it could be possible to defer providing actual numbers until run-time.
 \end{nonnormative}
 
-It is required that accumulated sub- and super sampling factors in the
-range of 1 to 2\textsuperscript{63} can be handled.
+It is required that accumulated sub- and super sampling factors in the range of 1 to 2\textsuperscript{63} can be handled.
 
 \begin{nonnormative}
 64 bit internal representation of numerator and denominator with sign can be used and gives minimum resolution 1.08E-19 seconds and maximum range 9.22E+18 seconds = 2.92E+11 years.