TRUE : The element [...] in the foreground TRUE :

condition to become true [...] was triggered. <ALARM> TRUE

condition to become true [...] was triggered <ALARM> TRUE

in the foreground TRUE : [...] TRUE : User inputs

in the foreground TRUE : [...] of the element TRUE :

in the foreground TRUE : [...] of the element TRUE :

in the foreground TRUE : [...] of the element TRUE :

TRUE : The element [...] in the foreground TRUE :

TRUE : The element [...] in the foreground TRUE :

TRUE : The element [...] in the foreground TRUE :