1 items across the graph — tagged with Temporal Logic.
An explainable inference software supporting annotated, real valued, graph based and temporal logic