
\newcommand{\ifpst}{}

\newcommand{\prompt}[2]{\rm
    \begin{cue}\rm
    \noindent \textsf{\textsl{#1}:} #2
    \end{cue}}

\newcommand{\dbeat}[1]{}
  
\newcommand{\highlight}[2]{\rm
    \begin{hili}\rm\label{hili:#1}
    \noindent \textsf{\textsl{#1}:} #2
    \end{hili}}

\newcommand{\characterization}[2]{\rm
    \begin{definition}\rm\label{def:#1}
    \noindent \textsf{\textsl{#1}:} #2
    \end{definition}}

\newcommand{\nycharacterization}[2]{\rm
    \begin{definition}\rm\label{def:#1}
    \noindent \textsf{\textsl{#1}:} #2
    \end{definition}}

\newtheorem{characteriser}{}
\newcounter{characterise}

\newcommand{\cacmcharacterization}[2]{\rm
    \begin{definition}\rm\label{def:#1}
    \textsf{\textsl{#1}:} #2
    \end{definition}}

\newcommand{\scsort}[2]{\rm
    \begin{onto}\rm\label{onto:#1}
    \noindent \textsf{\textsl{#1}:} \pmlp{#2}
    \end{onto}}

\newcommand{\illustration}[2]{\rm
    \begin{example}\rm\label{eks:#1}
    \noindent \textsf{\textsl{#1}:} #2
    \end{example}}
  
\newtheorem{describes}[theorem]{{\bf Schema}}

\newcommand{\describe}[1]{\rm
    \begin{describes}\rm\label{skema:#1}
    \noindent \textsf{\textsl{#1}}
    \end{describes}}

\newcommand{\xnewdescription}[2]{\rm%
    \begin{skema}\rm\label{skema:#1}%
    \noindent \textsf{\textsl{#1}} #2
    \end{theorem}}

\newcommand{\skema}[2]{\rm%
    \begin{theorem}\rm\label{skema:#1}%
    \textsf{\textsl{#1}:} #2
    \end{theorem}}

\newcommand{\pconindex}[1]{}
\newcommand{\pdefindex}[1]{}
 
\newcommand{\pos}[2]{#1}

\newcommand{\sort}[1]{\textsf{\textbf{#1}}}

\newcommand{\dbsquare}{\,{\footnotesize$\bullet$\normalsize}}%\scriptsize

\newcommand{\newestexample}{\illustration}

\newcommand{\dfpg}[1]{$\delta$\ref{def:#1}\,$\pi$\,\pageref{def:#1}}

\newcommand{\HHHH}{}
\newcommand{\LLLL}{}
\newcommand{\LLll}{}

\newcommand{\domaindefinition}{\characterization{Domain}\domdeftxt}
\newcommand{\domaindefinitioni}{\characterization{Domain}\domdeftxt}

\newcommand{\domdeftxt}{%%%
\begynd
\pind By a \sfsl{domain} we shall understand
\begynd
\pind a \sfsl{rationally describable} segment of
\pind a \sfsl{discrete dynamics} fragment of
\pind a \sfsl{human assisted} reality: the world that we
      daily observe.
\afslut
\pind It includes
\begynd
\pind its \sort{endurants}, \nyl i.e., \sfsl{solid and fluid entities} of
\begynd
\pind \sort{parts} and \pind \sort{living species}, 
\afslut
\pind and its \sort{perdurants} \dbsquare\footnotemark\
\afslut


\noindent
\pind \sort{Endurants} are
\begynd
\pind either \sfsl{natural} [``God-given''] 
\pind or \sfsl{artefactual} [``man-made''].
\afslut
and may be considered
\begynd
\pind \sfsl{atomic} or  \sfsl{compound} parts,
\pind or, as in \pos{this \compendium}{this talk}, further unanalysed  \sfsl{living
      species:}
\begynd
\pind \sfsl{plants} and \sfsl{animals} -- including \sfsl{humans}.
\afslut
{\it \/} \afslut


\noindent
\pind \sort{Perdurants} are here considered to be
\begynd
\pind \sfsl{actions}, 
\pind \sfsl{events} and 
\pind \sfsl{behaviours}.
\afslut
\afslut\footnotetext{The \dbsquare\ marker ends characterizations, examples and
   schemes in lieu of a period (.).}}

\newcommand{\pdindextermii}[2]{#1 #2}

\newcommand{\compendium}{paper}
\newcommand{\nyl}{}
\newcommand{\begynd}{}
\newcommand{\pind}{}
\newcommand{\afslut}{}

\newcommand{\sfsl}[1]{\textsf{\textsl{#1}}}

\newcommand{\newfoil}{}
\newcommand{\mnewfoil}{}
\newcommand{\mfoil}{}

\newcommand{\mola}{\amol}

\newcommand{\mtc}{}
\newcommand{\eod}{\dbsquare}

\newcommand{\wiki}{\texttt{[Wikipedia]}}


\newcommand{\obs}{{\sort{obs\_}}}
\newcommand{\uid}{{\sort{uid\_}}}
\newcommand{\mereo}{{\sort{mereo\_}}}
\newcommand{\attr}{{\sort{attr\_}}}

\newcommand{\treprikker}{\begin{center}$\bullet\ \bullet\
    \bullet$\end{center}}

\newcommand{\bq}{``}
\newcommand{\eq}{''}

\newcommand{\indexcon}[1]{}

\newcommand{\recordtime}{{\sort{record\_}$\mathbb{TIME}$}}

\newcommand{\tosemfootnote}[1]{\texttt{#1}} 