Hi, thanks for the clarification! I really wasn’t sure what to do about this ☺

In place, some of the houses really indicates e.g. “8 Phillimore Terrace”, so I thought that somehow the street changed name in this side of the road. Note that there is also a distinct building at “8 Allen Street”.

Currently, I tagged the street portion as both “name=Allen Street” and “name:left=Phillimore Terrace”: this ensures that the main name of the street is still Allen Street, but that Phillimore Terrace is known when looking for it. I guess that we can add an englobbing polygon with the tag building=terrace and the name Phillimore Terrace. What do you think?