Letting the machine resolve a group of relational expressions using the OR logical operator