add option to disable checking locative propositions