Infix notation

Wemayuseabiiilt-inshorthand,referredtoas"infix" notation,toaccomplishthisaswell ... 

We may use a built-in shorthand, referred to as "infix" notation, to accomplish this as well ... 

A trace y over an ontology Ont and time frame T is a mapping y T STATES (Ont), i.e., a sequence of states Yt (t T) in STATES(Ont). The temporal trace language TTL is built on atoms referring to, e.g., traces, time and state properties. For example, in trace y at time t property p holds is formalised by state(y, t) = p. Here = is a predicate symbol in the language, usually used in infix notation, which is comparable to the Holds-predicate in situation calculus. Dynamic properties are expressed by temporal statements built using the usual first-order logical connectives (such as A, V, = ) and quantification (V and 3 for example, over traces, time and state properties). For example, the informally stated dynamic property introduced above is formally expressed as follows ... 

Terms and atoms are usually written in prefix notation. If no ambiguity arises, unary terms and atoms are sometimes written without parentheses, whereas binary terms and atoms are sometimes written in infix notation. 

---

See also in sourсe #XX -- [ ]

---