17 June 2002
operations:
validation
a proposal P is valid
if it is a more constrained version of the negotiation template T for this negotiation (T should subsume P).
P [_ T " style="position:absolute;top:66.5%;left:61.42%;width:24.53%;height:3.75%">