figures/readme-time-instants-invisible.svg

<?xml version="1.0" encoding="UTF-8" standalone="no"?>
<!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.1//EN"
 "http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd">
<!-- Generated by graphviz version 9.0.0 (20230911.1827)
 -->
<!-- Title: PROV&#45;O render Pages: 1 -->
<svg width="1203pt" height="267pt"
 viewBox="0.00 0.00 1202.55 267.20" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink">
<g id="graph0" class="graph" transform="scale(1 1) rotate(0) translate(4 263.2)">
<title>PROV&#45;O render</title>
<polygon fill="white" stroke="none" points="-4,4 -4,-263.2 1198.55,-263.2 1198.55,4 -4,4"/>
<!-- _f7b0d98073df7e13ec5c6b603c88202121b40df96a6d3ee12bc3a599bdf772f6 -->
<g id="node1" class="node">
<title>_f7b0d98073df7e13ec5c6b603c88202121b40df96a6d3ee12bc3a599bdf772f6</title>
<g id="a_node1"><a xlink:title="ID &#45; urn:example:inside&#45;interval">
<polygon fill="#9fb1fc" stroke="#0000ff" points="137.5,-36 0,-36 0,0 137.5,0 137.5,-36"/>
<text text-anchor="middle" x="68.75" y="-12.95" font-family="Times,serif" font-size="14.00">ID &#45; kb:inside&#45;interval</text>
</a>
</g>
</g>
<!-- _0f8e379c281190ab2618af0e2ecf10e2509e921b86e3837d6d969652c574a5de -->
<!-- _f7b0d98073df7e13ec5c6b603c88202121b40df96a6d3ee12bc3a599bdf772f6&#45;&gt;_0f8e379c281190ab2618af0e2ecf10e2509e921b86e3837d6d969652c574a5de -->
<!-- _eee04c6b0986968e708f1c89a87820de9ee937517ad528c9fab41ae3264b63cf -->
<g id="node2" class="node">
<title>_eee04c6b0986968e708f1c89a87820de9ee937517ad528c9fab41ae3264b63cf</title>
<g id="a_node2"><a xlink:title="ID &#45; urn:example:instant&#45;after&#45;interval&#45;&#45;interval">
<polygon fill="#9fb1fc" stroke="#0000ff" points="290.12,-147.6 69.38,-147.6 69.38,-111.6 290.12,-111.6 290.12,-147.6"/>
<text text-anchor="middle" x="179.75" y="-124.55" font-family="Times,serif" font-size="14.00">ID &#45; kb:instant&#45;after&#45;interval&#45;&#45;interval</text>
</a>
</g>
</g>
<!-- _a85b44350d017f984630d5cd53c27cb27f113b6d77b397fc3305df35242002ec -->
<!-- _eee04c6b0986968e708f1c89a87820de9ee937517ad528c9fab41ae3264b63cf&#45;&gt;_a85b44350d017f984630d5cd53c27cb27f113b6d77b397fc3305df35242002ec -->
<!-- _aba870cd0721f0e90a05b2b9c9281eae89eefd5e2c621ce2ab364c7a5105ac84 -->
<g id="node3" class="node">
<title>_aba870cd0721f0e90a05b2b9c9281eae89eefd5e2c621ce2ab364c7a5105ac84</title>
<g id="a_node3"><a xlink:title="ID &#45; urn:example:instant&#45;before&#45;interval&#45;&#45;interval">
<polygon fill="#9fb1fc" stroke="#0000ff" points="430,-36 199.5,-36 199.5,0 430,0 430,-36"/>
<text text-anchor="middle" x="314.75" y="-12.95" font-family="Times,serif" font-size="14.00">ID &#45; kb:instant&#45;before&#45;interval&#45;&#45;interval</text>
</a>
</g>
</g>
<!-- _c6804ad3b86aa0d2d01161942c43d80eb0b8385866a011ec788813a90bf07c31 -->
<!-- _aba870cd0721f0e90a05b2b9c9281eae89eefd5e2c621ce2ab364c7a5105ac84&#45;&gt;_c6804ad3b86aa0d2d01161942c43d80eb0b8385866a011ec788813a90bf07c31 -->
<!-- _44dfc71e0cf99a6b1dd0160e435d0b8be1c0cc67fbf80b76c6085e17dd1624d6 -->
<g id="node4" class="node">
<title>_44dfc71e0cf99a6b1dd0160e435d0b8be1c0cc67fbf80b76c6085e17dd1624d6</title>
<g id="a_node4"><a xlink:title="ID &#45; urn:example:interval&#45;after&#45;instant&#45;&#45;interval">
<polygon fill="#9fb1fc" stroke="#0000ff" points="669.12,-36 448.38,-36 448.38,0 669.12,0 669.12,-36"/>
<text text-anchor="middle" x="558.75" y="-12.95" font-family="Times,serif" font-size="14.00">ID &#45; kb:interval&#45;after&#45;instant&#45;&#45;interval</text>
</a>
</g>
</g>
<!-- _86c7f84ae593ace064fc55ee72c603df64fd6c860cc878cc5b21496c08261ca3 -->
<!-- _44dfc71e0cf99a6b1dd0160e435d0b8be1c0cc67fbf80b76c6085e17dd1624d6&#45;&gt;_86c7f84ae593ace064fc55ee72c603df64fd6c860cc878cc5b21496c08261ca3 -->
<!-- _f462c38d1114491fded6e3a93b5993b92be7ad92d50733dd73d4709ae97732e0 -->
<g id="node5" class="node">
<title>_f462c38d1114491fded6e3a93b5993b92be7ad92d50733dd73d4709ae97732e0</title>
<g id="a_node5"><a xlink:title="ID &#45; urn:example:interval&#45;after&#45;interval&#45;&#45;i">
<polygon fill="#9fb1fc" stroke="#0000ff" points="876,-219.6 687.5,-219.6 687.5,-183.6 876,-183.6 876,-219.6"/>
<text text-anchor="middle" x="781.75" y="-196.55" font-family="Times,serif" font-size="14.00">ID &#45; kb:interval&#45;after&#45;interval&#45;&#45;i</text>
</a>
</g>
</g>
<!-- _48582208c8023b92ce9213e062571b13ea03715e04ebfee25b5384f517eed326 -->
<!-- _f462c38d1114491fded6e3a93b5993b92be7ad92d50733dd73d4709ae97732e0&#45;&gt;_48582208c8023b92ce9213e062571b13ea03715e04ebfee25b5384f517eed326 -->
<!-- _2481feb6aadae07609f1b70d73702ec13352eb67f6dc6194310c14bb21869096 -->
<g id="node6" class="node">
<title>_2481feb6aadae07609f1b70d73702ec13352eb67f6dc6194310c14bb21869096</title>
<g id="a_node6"><a xlink:title="ID &#45; urn:example:interval&#45;after&#45;interval&#45;&#45;j">
<polygon fill="#9fb1fc" stroke="#0000ff" points="876,-36 687.5,-36 687.5,0 876,0 876,-36"/>
<text text-anchor="middle" x="781.75" y="-12.95" font-family="Times,serif" font-size="14.00">ID &#45; kb:interval&#45;after&#45;interval&#45;&#45;j</text>
</a>
</g>
</g>
<!-- _c8404258da2df110bc623dc3ebdf057672b76df2489895718b78d744353d7b56 -->
<!-- _2481feb6aadae07609f1b70d73702ec13352eb67f6dc6194310c14bb21869096&#45;&gt;_c8404258da2df110bc623dc3ebdf057672b76df2489895718b78d744353d7b56 -->
<!-- _c01cea7de2313f3c93c629e353d8acb9cdec238518e90bb94b3fb808e76722f1 -->
<g id="node7" class="node">
<title>_c01cea7de2313f3c93c629e353d8acb9cdec238518e90bb94b3fb808e76722f1</title>
<g id="a_node7"><a xlink:title="ID &#45; urn:example:interval&#45;before&#45;instant&#45;&#45;interval">
<polygon fill="#9fb1fc" stroke="#0000ff" points="1032,-147.6 801.5,-147.6 801.5,-111.6 1032,-111.6 1032,-147.6"/>
<text text-anchor="middle" x="916.75" y="-124.55" font-family="Times,serif" font-size="14.00">ID &#45; kb:interval&#45;before&#45;instant&#45;&#45;interval</text>
</a>
</g>
</g>
<!-- _f566804c1e980ed09d49b5d787d332b93cdb592a5a90c4fa488f463abf3b9ef6 -->
<!-- _c01cea7de2313f3c93c629e353d8acb9cdec238518e90bb94b3fb808e76722f1&#45;&gt;_f566804c1e980ed09d49b5d787d332b93cdb592a5a90c4fa488f463abf3b9ef6 -->
<!-- _b60725dd515f5dcbede0691d6c00f427f99a725ef47eaa37c08ae609e8c9f55a -->
<g id="node8" class="node">
<title>_b60725dd515f5dcbede0691d6c00f427f99a725ef47eaa37c08ae609e8c9f55a</title>
<g id="a_node8"><a xlink:title="ID &#45; urn:example:interval&#45;before&#45;interval&#45;&#45;i">
<polygon fill="#9fb1fc" stroke="#0000ff" points="1150.88,-219.6 952.62,-219.6 952.62,-183.6 1150.88,-183.6 1150.88,-219.6"/>
<text text-anchor="middle" x="1051.75" y="-196.55" font-family="Times,serif" font-size="14.00">ID &#45; kb:interval&#45;before&#45;interval&#45;&#45;i</text>
</a>
</g>
</g>
<!-- _e8b7d1c7ec483f93826ff2ba2d6ab8787c72bda5eafec3c46182295cfe09cf6e -->
<!-- _b60725dd515f5dcbede0691d6c00f427f99a725ef47eaa37c08ae609e8c9f55a&#45;&gt;_e8b7d1c7ec483f93826ff2ba2d6ab8787c72bda5eafec3c46182295cfe09cf6e -->
<!-- _3c979c05a4f7959e81d129e3d0fe12fbf4878eaf27797201fc96cc9e6344a096 -->
<g id="node9" class="node">
<title>_3c979c05a4f7959e81d129e3d0fe12fbf4878eaf27797201fc96cc9e6344a096</title>
<g id="a_node9"><a xlink:title="ID &#45; urn:example:interval&#45;before&#45;interval&#45;&#45;j">
<polygon fill="#9fb1fc" stroke="#0000ff" points="1150.88,-36 952.62,-36 952.62,0 1150.88,0 1150.88,-36"/>
<text text-anchor="middle" x="1051.75" y="-12.95" font-family="Times,serif" font-size="14.00">ID &#45; kb:interval&#45;before&#45;interval&#45;&#45;j</text>
</a>
</g>
</g>
<!-- _2519f7301a967b135999bbfbe3ffda8485375a1cb143e42e51e64af93ad7f31f -->
<!-- _3c979c05a4f7959e81d129e3d0fe12fbf4878eaf27797201fc96cc9e6344a096&#45;&gt;_2519f7301a967b135999bbfbe3ffda8485375a1cb143e42e51e64af93ad7f31f -->
<!-- _5d764e48adbe572ab29d5ec3ab4557f6c55afc9074ea938501bf02c365bf8683 -->
<!-- _5d764e48adbe572ab29d5ec3ab4557f6c55afc9074ea938501bf02c365bf8683&#45;&gt;_b60725dd515f5dcbede0691d6c00f427f99a725ef47eaa37c08ae609e8c9f55a -->
<!-- _4fb61ba69895f992274e5e3337bb565b5fefbebaff5ba1c51b44d4b4d0a789ec -->
<!-- _4fb61ba69895f992274e5e3337bb565b5fefbebaff5ba1c51b44d4b4d0a789ec&#45;&gt;_eee04c6b0986968e708f1c89a87820de9ee937517ad528c9fab41ae3264b63cf -->
<!-- _7bbf68c4755c76da3c628ce87060960c04aef35414ff2dd9be4a81246bfe6872 -->
<!-- _7bbf68c4755c76da3c628ce87060960c04aef35414ff2dd9be4a81246bfe6872&#45;&gt;_f462c38d1114491fded6e3a93b5993b92be7ad92d50733dd73d4709ae97732e0 -->
<!-- _3d17e3270573c28f4a7bacca8ca737ebce711c1ea93f266f6ebe54adf0835da7 -->
<!-- _3d17e3270573c28f4a7bacca8ca737ebce711c1ea93f266f6ebe54adf0835da7&#45;&gt;_c01cea7de2313f3c93c629e353d8acb9cdec238518e90bb94b3fb808e76722f1 -->
<!-- _2519f7301a967b135999bbfbe3ffda8485375a1cb143e42e51e64af93ad7f31f&#45;&gt;_5d764e48adbe572ab29d5ec3ab4557f6c55afc9074ea938501bf02c365bf8683 -->
<!-- _c8404258da2df110bc623dc3ebdf057672b76df2489895718b78d744353d7b56&#45;&gt;_7bbf68c4755c76da3c628ce87060960c04aef35414ff2dd9be4a81246bfe6872 -->
<!-- _b6d0930a09e6b33fa969aaeacbba8c8d611d5d73e638881c4d1c90584bea7c43 -->
<!-- _86c7f84ae593ace064fc55ee72c603df64fd6c860cc878cc5b21496c08261ca3&#45;&gt;_b6d0930a09e6b33fa969aaeacbba8c8d611d5d73e638881c4d1c90584bea7c43 -->
<!-- _936601b750f02ae82c62a2f12898333081b72c628ccae962d775da8c51d51981 -->
<!-- _c6804ad3b86aa0d2d01161942c43d80eb0b8385866a011ec788813a90bf07c31&#45;&gt;_936601b750f02ae82c62a2f12898333081b72c628ccae962d775da8c51d51981 -->
<!-- _0acb0323fc04cc5d1aecbff5f5d81494531e32c35b18b1dc30815edbb63e66ff -->
<!-- _0acb0323fc04cc5d1aecbff5f5d81494531e32c35b18b1dc30815edbb63e66ff&#45;&gt;_0f8e379c281190ab2618af0e2ecf10e2509e921b86e3837d6d969652c574a5de -->
<!-- _4f39e19a03a635728c13d7e5c2c67f8f2c45dd8db82ed6e9fcce86e12b076149 -->
<!-- _84929ae31cff59d28620d18e8809aa62fd36cd45895c266d8855813af208db12 -->
<!-- _84929ae31cff59d28620d18e8809aa62fd36cd45895c266d8855813af208db12&#45;&gt;_4f39e19a03a635728c13d7e5c2c67f8f2c45dd8db82ed6e9fcce86e12b076149 -->
<!-- _768a8f17944ef8f6e601c8e56530f7f80746e03a7c1d6e996cc3105bf9245bd4 -->
<!-- _768a8f17944ef8f6e601c8e56530f7f80746e03a7c1d6e996cc3105bf9245bd4&#45;&gt;_4fb61ba69895f992274e5e3337bb565b5fefbebaff5ba1c51b44d4b4d0a789ec -->
<!-- _b3d8831c3beffaa1bb0a5045759f0b8466ec6806ce6686027772b4ebeb5be8bb -->
<!-- _e265f385b3f32b06cf53a44daeeed7d4234a3aebd36dfb7f823a1f8bbc1aca1d -->
<!-- _e265f385b3f32b06cf53a44daeeed7d4234a3aebd36dfb7f823a1f8bbc1aca1d&#45;&gt;_b3d8831c3beffaa1bb0a5045759f0b8466ec6806ce6686027772b4ebeb5be8bb -->
<!-- _aa468a59a861928472ebe795cb9ef6e8a0aa077ffc82e38d29e3fdf4adb3d584 -->
<!-- _aa468a59a861928472ebe795cb9ef6e8a0aa077ffc82e38d29e3fdf4adb3d584&#45;&gt;_3d17e3270573c28f4a7bacca8ca737ebce711c1ea93f266f6ebe54adf0835da7 -->
</g>
</svg>