public int MaxClauseOrder() { int max = 0; if (Clauses.Count() > 0) { max = Clauses.Max(qc => qc.ClauseOrder); } return(max); }