SYMBOLS, WITH STRUCTURE
A rare moment
of logical clarity.
Pick an object. Give it a symbol. Ask a question with NOT, AND, and OR.
This lab runs entirely in your browser using explicit rules and a small, declared dictionary. It does not run a learned model. Unknown meanings ask for clarification; a valid expression is not proof of a real-world fact.
Research dialect v27 · Seven mutually exclusive categories · Session stays in memory until reset or reload. Export to keep it.
01 / GIVE CONTEXT
Record an observation
Pick several to state alternatives for this one object. Each object has one category in this experiment. Quote and hypothetical scopes do not change facts.
Declared meanings, not predictions
Fourteen symbols have fixed demo meanings. Others ask you to choose a category. These conventions are not universal interpretations.
02 / ASK PRECISELY
Build a question
Tap a part of the question, then choose a control. Every group closes automatically.
NOT applies to a question. Negative fact assertions and IF/THEN rules are not supported here. Unknown is different from false.