Stable markings describe observable states, whereas the presence of one or more zero tokens in a given marking makes it unobservable.
Note that concept names are translated to unary free predicates, whereas n-ary role names are translated to n-ary free predicates.
Levels of variables are denoted by an uppercase character, whereas detrended variables are denoted by a lowercase character (unless otherwise noted).
In the latter model, a single visual representation is said to subserve actions, whereas a separate representation subserves perceptions.
When we deferentially compliment someone, we speak in strict accordance with the rules, whereas our verbal insults gain emphasis when violating the rules of dialogue.
In this case, the density field promotes global tilting, whereas the viscosity field favours a straight vertical interface.
The pulse duration may introduce an additional laser-related timescale whereas the energy spectrum of the atom, through typical transitions, could introduce an additional species-related timescale.
Luminance-defined targets had the same hue and saturation as the background, whereas saturation-defined targets were green and equiluminant with the background.