| http://www.w3.org/ns/prov#value | - Then we should deny (1), since Socrates is not bent--he is dead (unless by is bent we mean is bent at some time or other, in which case (4) tells us that Socrates-at-t0 is bent at some time or other and is straight at some time or other, which is unproblematic).
|
