restraints <restraints-statement> end


<restraints-statement> :==