ExtractionResult represents an expression of the form `domain AND expression`, right?

If so, isn't this simply a form of:

`(domain1 AND expression1) OR (domain2 AND expression2)`, where `expression1 == expression2`

Therefore, 

```
(domain1 AND expression1) OR (domain2 AND expression2) =
(domain1 AND expression1) OR (domain2 AND expression1) =
(domain1 OR domain2) AND expression1
```