introduced some types to represent Attributes, Attributions, makers
thereof, etc.
Attribute = Verbex + Predicate: can produce a family of clauses (claims)
for a Domain of candidate subjects;
Attributions [AttributionClaims] = Domain + Predicate + Verbex is one
way to represent a family of Claims.
DomainWithAttributes is a Domain with Attributes;
TaggableDomain is a Domain with some suggested AttributeVerbex (=tags)