tion:     A =&gt; B
    Also known as:   entailment, if-then
    Represented as:  ( A ( B ))
    Graphed as:
    |
    |   A   B
    |   o---o
    |   |
    |   @

Example of a propostition expressing a &quot;zeroth order theory&quot; (ZOT):

Consider the following text, written in what I am calling &quot;Ref Log&quot;,
also known as the &quot;Cactus Language&quot; syntax for propositional logic:

|   ( male  , female )
|   (( boy  , male child ))
|   (( girl , female child ))
|   ( child ( human ))

Graphe