Variable-free semantics for anaphora