r,harry,[rich(harry)])],
    % INIT States
    [
     ss(system,shop_alarm,[active(shop_alarm)]),
     ss(valuable_item,diamond,[protected(diamond),protected_by(diamond,pressure_pad)]),
     ss(valuable_item,gold,[protected(gold),protected_by(gold,motion_detector)]),
     ss(valuable_item,artifact,[protected(artifact),protected_by(artifact,trip_wire)]),
     ss(valuable_item,fave_dvd,[protected(fave_dvd),protected_by(fave_dvd,hypno_toad)]),
     ss(guard,bert,[working(bert,shop_alarm)]),
     ss(burglar,har