nal
    []).
operator(reactivate(Guard,System),
    % prevail
    [     se(guard,Guard,[working(Guard,System)])],
    % necessary
    [     sc(system,System,[inactive(System)]=>[active(System)])],
    % conditional
    [     sc(valuable_item,Valuable_item,[triggered(Valuable_item),protected_by(Valuable_item,Trigger)]=>[protected(Valuable_item),protected_by(Valuable_item,Trigger)])]).
operator(hack_security(System,Valuable_item,Trigger,Burglar),
    % prevail
    [     se(system,System,[active(System)])],
  