Examples

Belief

50%
False True

Interpretations

Alternatives

More precise rephrasings of the current statement.

Dependencies

The selected interpretation may only be true if these conditions hold.

    Definitions

    Wikidata-backed definitions for each phrase in the statement.

      Confirmations

        Refutations

          Opposite

          Click to analyze the negation of the current statement.

          Correctness 0% … 100%
          Confidence -100% … +100%
          Level
          Result
          Supports
          Refutes
          Unknowns
          Fixture evidence

          Reasoning Steps

          Report Issue 

          
      
          
    
          

    
          
      
          
        
          
          
          Compare
          
          
          
            Enter two or more claims about the same subject (for example
            Population of Russia is 100m and
            Population of Russia is 200m) to see how their Correctness
            and Confidence stack up.
          
          
        
          
        
          
        
          
          
          
        
          
      
          
    
          

    
          
      
          
        
          
          
          Check
          
          
          
            Paste text to color detected statements by correctness.
          
          
        
          

        
        

        
          
          
          
        
          

        
          
          
          
          
          
        
          

        
          

        
          
          
          Result
          
          
          
            Click Check to color detected statements here.
          
          
        
          

        
          
          Markdown
          
          
        
          
        
          
          Links Notation
          
          
        
          
      
          
    
          

    
          
      
          
        
          
          
          Uniqueness
          
          
          
            Search each detected statement across public sources and estimate
            whether it should be cited, quoted, or reworded.
          
          
        
          

        
        

        
          
          
          
          
          
        
          

        
          

        
          
          
          Result
          
          
          
            Click Search to inspect detected statements here.
          
          
        
          

        
          
          
          Matches
          
          
          
        
          

        
          
          Markdown
          
          
        
          
        
          
          Links Notation
          
          
        
          
      
          
    
          

    
          
      
          
        
          
          
          Formalize
          
          
          
            Paste any text. Each phrase becomes a Wikipedia-or-Wikidata link
            whose title carries the Q/P id. Toggle the link target
            mode, then copy the result as Markdown or Links Notation.
          
          
        
          

        
          
          
          
        
          
        

        
          
          
          
          
            Link target
            
            
            
          
          
          
          
            Sources
            
          
              
              
              
              
              
            
          
          
          
          
          
            
              Interpretation display
            
            
            
            
            
            
          
          
        
          

        
          
          Pin a phrase to a Q/P id
          
          
            Type a phrase from your text plus the exact Wikidata Q-id (entity)
            or P-id (property) you want it to resolve to. The pin is appended to
            the lazy overrides below and re-runs the formalization.
          
          
          
          
            
            
            
            
          
          
          
          
        
          

        
          
          
            Lazy overrides (Links Notation)
          
          
          
            Each entry pins a phrase to a specific entity, bypassing live
            lookups. Useful for reproducible demos and to fill gaps the
            knowledge graphs miss. Indented Links Notation (.lino) is preferred;
            legacy JSON arrays are still accepted.
          
          
          
          
          
        
          

        
          
          
          
          
          
        
          

        
          
          
          Result
          
          
          
            Click Formalize to see the wikified output here.
          
          
        
          

        
          
          
          Contexts
          
          
          
            Click a context to reinterpret the same text through that lens.
          
          
          
          
        
          

        
          
          
          Big-context categories
          
          
          
            Worlds and domains the text touches (Math, Geography, Star Wars,
            Genshin Impact, ...). The top 5 are auto-selected — uncheck a world
            to dim phrases that only contribute to it. Hover a phrase or a world
            to see the two-way mapping.
          
          
          
          
        
          

        
          
          
          
            Top 10 Interpretations
          
          
          
          
            Click an interpretation to use it as the active result. The current
            choice is always present in the list and highlighted.
          
          
          
            
        
            

        
            
          Markdown
          
            
        
            
        
            
          Links Notation
          
            
        
            
      
            
    
            

    
            
      
            
        
            
          
            Translate
            
          
            
            Formalize source phrases with Wikidata, then replace resolved
            phrases with target-language labels. Unresolved phrases become
            variables with questions.
          
            
        
            

        
            
          Input
          
            
            
            
          
            
        
            

        
            
          
            
            
            
          
            
          
        
            

        

        
            
          
          
          
            
            Strategy
            
            
              Contextual glossary uses source-backed Wikidata/Wiktionary
              translations first. Semantic labels use linked entity labels only.
              Lexical glossary prefers readable word and phrase translations.
            
            
            
            
          
            
          
            
            Link target
            
          
            
          
            
            Sources
            
            
              Drag checked sources to set lookup order: Wikipedia article
              matches, Wikidata Q/P entities, Wiktionary lexical definitions and
              translation entries, then virtual overrides for missing data.
            
            
            
            
              
              
              
              
            
            
          
            
        
            

        
            
          
          
          
          
          
        
            

        
            
          
            Formalized input
            
          
            
            Click Translate to see the formalized source here.
          
            
        
            

        
            
          
            Result
            
          
            
            Click Translate to see the output here.
          
            
        
            

        
            
          
            Questions
            
          
              
            
            • 
              No unresolved variables.
            
              • 
          
            
        
            

        
            
          
            Word contexts
            
          
              
            
            • 
              Translate to see how each word was disambiguated.
            
              • 
          
            
        
            

        
            
          
            Article context
            
          
              
            
            • 
              Translate text to see linked articles.
            
              • 
          
            
        
            

        
            
          Markdown
          
            
        
            
        
            
          Links Notation
          
            
        
            
        
            
          Translation CST
          
            
        
            
        
            
          
            Translation steps
          
          
              
        
              
        
              
          Debug log
          
              
        
              
      
              
    
              

    
              
      
              
        
              
          
              Preferences
              
        
              

        
              
          
              
            Worldview
          
              
          
              
        
              

        

        
              
          
              
            Context
          
              
          
              
        
              

        
              
          
              
            Evidence scoring
          
              
          
              
        
              

        
              
          
              
            Links Notation