Forma Semantic Language

A computable semantic specification language.

FormaSL lets people and agents declare, transform, govern, and verify meaning without silently collapsing distinctions such as claim and truth, conformance and admission, or occurrence and observation.