Accept section 4.5 "Specifying Preconditions, Postconditions, and Projection Conditions" of the Behavioral Metadata Proposal, which proposes the XML syntax for directly declaring preconditions, postconditions, and projecton conditions in Behavioral Metadata. |