QUERY:

I would like to know if
     'opera' holds (for D).

USER PREDICATES:
'opera' holds (for A), if
     there is no evidence that 'home' holds (for A).

'home' holds (for A), if
     there is no evidence that 'opera' holds (for A).
'home' holds (for monday).

DUAL RULES:
there is no evidence that 'opera' holds (for A), if
     'rule 1' holds (for A).

'rule 1' holds (for A), if
     'home' holds (for A).

there is no evidence that 'home' holds (for A), if
     'rule 1' holds (for A) and
     'rule 2' holds (for A).

'rule 1' holds (for A), if
     'opera' holds (for A).

'rule 2' holds (for A), if
     A is not equal monday.


GLOBAL CONSTRAINTS:
The global constraints hold.