 In the literature one can find essentially different formulations of ‘IF first-order logic.’ The differences are not restricted to syntax – examples of applying different semantic ideas can be found as well. 