From: Tobias Schwinger <tschwinger@neoscientists.org>
The kinds of types to be synthesised and complex classification queries are described by *tag* types.
A tag encapsulates one or more aspects of the kind of type. Tags that represent the variations of a single aspect are called *aspect tags*.
or:
The kinds of types to be synthesised and complex classification queries are described by *tag* types. A tag encapsulates one or more aspects of the kind of type.
Tags that represent the variations of a single aspect are called *aspect tags*.
I wouldn't keep either break. Here's a variation of the sentences you wrote above (besides putting all three sentences in one paragraph). Complex classification queries and the kinds of types you can synthesize are described by *tag* types. A tag represents one or more aspects of a type's kind. Tags that represent the variations of a single aspect are called *aspect tags*. The first sentence, as you wrote it, was a bit awkward. While reading it, one first things the conjunction "and" combines "synthesized" and "complex." Reading on, one realizes that it is combining "kinds" and "queries." My rewrite should eliminate that problem. Also, I don't see the value in having two (or three) paragraphs for this text. -- Rob Stewart stewart@sig.com Software Engineer http://www.sig.com Susquehanna International Group, LLP using std::disclaimer;