Tag: symbolic interpretative approach