int(0..1) dereify(Resource r)
Turns the reified statement r into a normal statement, if possible.
1 for success, 0 for failure.