There were a couple instances where friends of mine had tried to check on the status of the books in the library but were not permitted to go in at that time. So I am only assuming that those books are there now because I am being told that they are. But as for myself walking into a library and seeing them there, I did not.
The books were always in the library.
It is not known if they were there or not because the friends weren't allowed in and he couldn't be for sure if they were or not. The system doesn't know because the information wasn't given.
( z1 be-located-at :ARG1 ( z2 book ) :ARG2 ( z3 library ) :time ( z4 always ) )