rglar,Trigger)],
    [rich(Burglar),expertise(Burglar,Trigger)],
    [found_goods(Burglar),expertise(Burglar,Trigger)]]).

% Atomic Invariants

% Implied Invariants

% Inconsistent Constraints

% Operators
operator(reset(Guard,System),
    % prevail
    [     se(guard,Guard,[alerted(Guard,System)])],
    % necessary
    [     sc(system,System,[emergency(System)]=>[inactive(System)])],
    % conditional
    []).
operator(sound_alarm(Valuable_item,Trigger,System),
    % prevail
    [     se(valuable_item,Valu