Update index.html

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>