module ext_interpretation
  depends on interpretation

  axioms
    impossible occurs(X) if instance(X, learn),
                            agent(X, A),
                            object(X, O),
                            known_to(O, A).