Q HOW CAN WE UTILISE THE STRUCTURE IN THE PROBLEM TO SAVE COMPUTATION? A REASON DIRECTLY IN THE FIRST ORDER LOGIC FRAMEWORK RATHER THAN DEALING WITH EXPLICIT DOMAIN OBJECTS!