List the 7 WQuestions axes (Q who, O what, L where, T when, N how-much, K which, M how) and what each is for.

List the canonical roles with their typed signatures. Unknown roles are also allowed (liberal policy) — you may invent domain roles freely.

Create an individual on a value axis (Q, O, L, T, N, or K).

Register a situation type (verb) and which roles it takes. Optional: assert_situation auto-registers unknown verbs permissively.

Assert a fact: reify a situation for verb and attach its roles. Each role value is an existing entity id or an inline {id, axis, label}. valid_from/valid_to are ISO-8601, for facts that are only valid during a time range.

Query by projection: fix some roles, ask for others. type filters to situations whose type matches the given category id (auto-registered verbs get the id action_<verb>). at (ISO) queries the model as it was valid at that time.

Dump the current universe: entity/fact counts and every fact.

Load a prebuilt demo universe (e.g. "spa") to try queries instantly.

Clear the model and start a fresh empty universe.