conditional
    []).
operator(training(Burglar,TriggerA,TriggerB),
    % prevail
    [],
    % necessary
    [     sc(burglar,Burglar,[casing_joint(Burglar),expertise(Burglar,TriggerA)]=>[casing_joint(Burglar),expertise(Burglar,TriggerB)])],
    % conditional
    []).

% Methods

% Domain Tasks
planner_task(1,
    % Goals
    [
     se(valuable_item,gold,[gone(gold)]),
     se(burglar,tom,[rich(tom)]),
     se(burglar,dick,[caught(dick)]),
     se(burglar,harry,[caught(harry)])],
    % INIT States
    [
   