Kn-representation-reasoning-Interaction ()