From dbdee100016ff0b8f9cfc57bb18d0c20401803d0 Mon Sep 17 00:00:00 2001
From: Nicoletta Fornara <fornaran@usi.ch>
Date: Wed, 7 Feb 2024 15:09:49 +0100
Subject: [PATCH] Update index.html

---
 formal-semantics/index.html | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/formal-semantics/index.html b/formal-semantics/index.html
index d72d8f4..b961733 100644
--- a/formal-semantics/index.html
+++ b/formal-semantics/index.html
@@ -44,11 +44,10 @@ <h2>Introduction</h2>
 				<li>Which Permissions, Prohibitions, and Obligations are <b>active</b>;</li>
 				<li>Which Prohibitions and Obligations have been <b>violated</b> or <b>fulfilled</b>.</li>
 			</ol>
-			<br>
 			The <b>ODRL Evaluator</b> is expected to work in at least these two activities:
 			<ol>
 				<li><b>Access control</b>: the computation that determines the access by users or software agents to digital resources
-					considering a set of policies, the state of the world, and the action that the user/agent request to perform.</li>
+					considering a set of policies, the state of the world, and the description of the action that the user/agent requests to perform on certain digital resources.</li>
 				<li><b>Policy monitoring</b> (or compliance checking): given a set of policies and a state of the world, the task to 
 					determine whether obligations or prohibitions have been fulfilled or violated by the performance of certain 
 					actions, and which permissions have been used.</li>