Reasoning tool for 'PRIVacy as Contextual Integirty' in promise networks of agent societies.