Property maker and offline translator maker added for the properties of
the competition