ByNobleID
    Interval Signal Temporal Logic from Natural Inclusion Functions | NobleID