Algorithm 1: IsWellFormedRule Function

Require: R  Ensure: TrueorFalse    if R$\left[\mathrm{Provides}\right]\ne \varnothing$ and R$\left[\mathrm{Shares}\right]=\varnothing$ then    return False    end if    return True