ww: The resulting formula is not necessarily equivalent to the original one, but is equisatisfiable with it: it is satisfiable if and only if the original one is
danbri: ... is a specification describing how license information may be described using RDF and how license information may be attached to works.