Separation between Terms and Statements in Practice

2026-10-03

Purpose of the Document

To demonstrate the use of the unstructured definitions in creating ARCA-related constructs introduced here.

PLL Code Sample #1

What we want to express: "Character C perceives (sees, hears) character B saying 'Hello'."

What it looks like as statement:

[:stmt :character "C" :perceives
  [:the-fact-that
    [:stmt "Character B says 'Hello'."]
  ]
]

What it looks like as a term:


[:the-fact-that
  [:stmt :character "C" :perceives
    [:the-fact-that
      [:stmt "Character B says 'Hello'."]
    ]
  ]
]

PLL Code Sample #2

What we want to express: Statement (or term) B includes term A ("Character C perceives $↓ ("John says hello")$ ").

What it looks like as statement:

[
  [:stmt "B"]
  :includes
  [:the-fact-that
    [:character "C"
     :perceives
     [:the-fact-that 
       [:stmt
         "John says 'Hello'."
       ]
     ]
    ]
  ]
]

[
  [:term "B"]
  :includes
  [:the-fact-that
    [:character "C"
     :perceives
     [:the-fact-that 
       [:stmt
         "John says 'Hello'."
       ]
     ]
    ]
  ]
]

What it looks like as a term:

[:the-fact-that
  [
    [:stmt "B"]
    :includes
    [:the-fact-that
      [:character "C"
       :perceives
       [:the-fact-that 
         [:stmt
           "John says 'Hello'."
         ]
       ]
      ]
    ]
  ]
]

PLL Code Sample #3

What we want to express: "Character C thinks about x." ("Character C thinks about $↓ ("John says hello")$ .")

What it looks like as statement:

[:stmt :character "C" :thinks-about
  [:the-fact-that
    [:stmt "John says 'Hello'."]
  ]
]

What it looks like as a term:

[:the-fact-that
  [:stmt :character "C" :thinks-about
    [:the-fact-that
      [:stmt "John says 'Hello'."]
    ]
  ]
]

PLL Code Sample #4

What we want to express: "Character C feels feeling D about x." ("Character C feels feeling D about $↓ ("John says hello")$ .")

What it looks like as statement:

[:stmt 
  :character "C" 
  :feels "feeling D" 
  :about
  [:the-fact-that
    [:stmt "John says 'Hello'."]
  ]
]

What it looks like as a term:

[:the-fact-that
  [:stmt 
    :character "C" 
    :feels "feeling D" 
    :about
    [:the-fact-that
      [:stmt "John says 'Hello'."]
    ]
  ]
]

PLL Code Sample #5

What we want to express: "Character B says something about x to character E." ("Character B says something about $↓ ("John says hello")$ to character E.")

What it looks like as statement:

[:stmt 
  :character "C" 
  :says "something"
  :to [:character "E"] 
  :about
  [:the-fact-that
    [:stmt "John says 'Hello'."]
  ]
]

What it looks like as a term:

[:the-fact-that
  [:stmt 
    :character "C" 
    :says "something"
    :to [:character "E"] 
    :about
    [:the-fact-that
      [:stmt "John says 'Hello'."]
    ]
  ]
]

PLL Code Sample #6

What we want to express: Statement or term: "Character B tries to mime about x to character F." ("Character B tries to mime about $↓ ("John says hello")$ to character F.")

What it looks like as statement:

[:stmt 
  :character "C" 
  :tries-to-mime "something"
  :to [:character "E"] 
  :about
  [:the-fact-that
    [:stmt "John says 'Hello'."]
  ]
]

What it looks like as a term:

[:the-fact-that
  [:stmt 
    :character "C" 
    :tries-to-mime "something"
    :to [:character "E"] 
    :about
    [:the-fact-that
      [:stmt "John says 'Hello'."]
    ]
  ]
]

Possible Next Step

Think: If we write down ideas about fiction in the form presented above, what kind of information can we create from that notation (e.g. what kind of diagrams can we generate, what will we know about the characters from notation like the above)?

2026-10-04: Maybe something inspired by the Idea Inspired by Fred Brooks?

Pravles Redneckoff