- Added some minor query descriptions

Clocks-Test-7.q

@@ -6,7 +6,7 @@
 E<> deadlock
 
 /*
-
+"Does every instance of deadlock necessarily mean that either the client'S behavior diagram is finished or that the maximum timer has run out?"
 */
 A[] \
 deadlock \
@@ -16,12 +16,12 @@ or\
 P_ClientBehavior.FINISH_TIMEOUT)
 
 /*
-
+"Does every run eventually go to a state where either the client's behavior diagram is finished or that the maximum timer has run out?"
 */
 A<> P_ClientBehavior.FINISH_PROCEDURE or P_ClientBehavior.FINISH_TIMEOUT
 
 /*
-
+"Is there a way to get to a state in which the client's behavior diagram is finished?"
 */
 E<> P_ClientBehavior.FINISH_PROCEDURE