Optimal Assignment of a Tree-Structured Context Reasoning Procedure onto a Host-Satellites System