About: http://webisa.webdatacommons.org/313832179

Property	Value
http://www.w3.org/1999/02/22-rdf-syntax-ns#type	http://www.w3.org/ns/prov#Entity
http://www.w3.org/ns/prov#value	In the book there is a hint, we should show $\{T_A<t\}=\cup_{q\in \mathbb{Q},0\le q<t}\{X_q\in A\}$.
http://www.w3.org/ns/prov#wasQuotedFrom	stackexchange.com