(...) PROP_Counter Get [...] , the special Set and Get [...] : Manager_A User input
condition gets the value [...] are user input of a visualization/user interface
for guard conditions User [...] by a user via a user [...] visualization as user
. Therefore, user input [...] To get a filtered view