erator(disapeared(Valuable_item,Trigger),
    % prevail
    [],
    % necessary
    [     sc(valuable_item,Valuable_item,[not_protected(Valuable_item),protected_by(Valuable_item,Trigger)]=>[gone(Valuable_item),protected_by(Valuable_item,Trigger)])],
    % conditional
    []).
operator(attempt_rehabilitation(Burglar,TriggerA,TriggerB),
    % prevail
    [],
    % necessary
    [     sc(burglar,Burglar,[caught(Burglar),expertise(Burglar,TriggerA)]=>[casing_joint(Burglar),expertise(Burglar,TriggerB)])],
    % 