UNAUTHORIZED TOOL ACCESS

{{ operator }} attempted to access the {{ tool }}, which requires {% if type == "area-access" %} {{ tool.requires_area_access|lower }} access.
The user was not logged into the {{ tool.requires_area_access|lower }} at the time so the tool usage request was denied. {% else %} an active {{ tool.requires_area_access|lower }} reservation.
The user was logged into the {{ tool.requires_area_access|lower }} at the time, but their area reservation expired, so the tool usage request was denied. {% endif %}