K-representation-reasoning-Interaction ()