to demolish [ demolished ; demolished ]