Abstract: Requirements engineering often relies on legal and regulatory texts to define system constraints, but translating legal language into formal requirements requires attention to rules for ...