Context: Conditional statements like “If A and B then C” are core elements for describing software requirements. However, there many ways to express such conditionals in natural language also how they can be interpreted. We hypothesize that conditional requirements a source of ambiguity, potentially affecting downstream activities as test case generation negatively. Objective: Our goal is under...