Valuation (logic) - Other languages