0 present participle of decorate --
1 to add something to an object or place, especially in order to make it more attractive: --
2 to reward or honour a person by giving them something, especially a medal: --
While these senses are logically related in that a physical decoration is often the result of some instance of 'decorating', we do not explicitly represent these relations.
The sequents are also decorated with proof terms, and equivalence of proofs is then axiomatized in such a way that proofs decorating equivalent concurrent computations are identified.
Distant children sometimes took the opportunity of a stay with parents to help with decorating or household repairs and sometimes took parents home with them for short breaks.
These arches, with see-through fasciae and tympanums ornamented with elements of various colours constitute the main decorating feature.
The annotated terms are produced by decorating a type-inference tree.
A tradition of decorating one's home, if one has a son, with a display of dolls and carp streamers.
Cases are divided between workers in the dipping house and those employed in decorating shops.
The majority of workers were employed in the clay and potting shops and relatively few in decorating and glazing ware.
