semantics for temporal logic consisting of a graph whose nodes are states and whose edges are state transitions, along with a labeling function mapping each node to a set of properties that hold in the corresponding state
Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).