the operator TIME() can also [...] operation ... *) tEnd := [...] operation ... *) t
BooleanProperty : BOOL VAR [...] BooleanProperty : BOOL VAR [...] read operation
types or operators [...] ContainerLibrary (Bool) := True must [...] ContainerLibrary (Bool) := True must