definition user {}

definition company {
    relation user: user
}

definition alert {
    relation creator: user
    relation company: company

    permission update_alert = creator
    permission delete_alert = company->user
    permission get_alert = company->user
    permission get_metric_alert_history = company->user
}