Improve sub-clock named argument styling and sentence

chapters/synchronous.tex

@@ -994,7 +994,11 @@ \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 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.
+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, 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.
 
 \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.