Added interpretation for bidirectional rewrites.