[ /* Going */ Going: *x1] [ /* Person John */ Person: John] [ /* Bus */ Bus: *x2] [ /* City Boston */ City: Boston] ( /* agent */ agent ?x1 John) ( /* dest */ dest ?x1 Boston) ( /* instrument */ instrument ?x1 ?x2)