Resolving to Ought Implies Polynomial Time: Reasonable Endeavours as an Approximation Ratio in Owners-Corporation Allocation By-Laws…