module ext_creating
  depends on creating
  
  function declarations
    fluents
     basic 
       controlled_by : entity * entity -> booleans
     
  axioms
    impossible occurs(X) if instance(X, produce),
                            raw_material(X, RM),
                            agent(X, A),
                            -controlled_by(RM, A).