yetitwo
definition user { relation is_active: user relation ops_manager: ops permission modify_data: = is_active->ops_manager }