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