added method to check whether a world addresses a given proposition, to check for partially restrictive worlds