"(forall (?x ?y) \n\t(iff \n\t\t(neural_circuit_path ?x ?y)\n\t\t(and\n\t\t\t(\"neuron ; CL_0000540\" ?x)\n\t\t\t(\"neuron ; CL_0000540\" ?y)\n\t\t\t(or \n\t\t\t\t(synapsed_by ?x ?y) \n\t\t\t\t(synapsed_to ?x ?y))))) \n\n(forall (...s ?x ?y ?z) \n\t(iff \n\t\t(neural_circuit_path ...s ?x ?y ?z)\n\t\t(and\n\t\t\t(neural_circuit_path ...s ?x ?y)\n\t\t\t(\"neuron ; CL_0000540\" ?z)\n\t\t\t(or \n\t\t\t\t(synapsed_by ?y ?z) \n\t\t\t\t(synapsed_to ?y ?z))))) \n\n(forall (?x ?y) \n\t(iff \n\t\t(in_neural_circuit_with ?x ?y)\n\t\t(exists (...s)\n\t\t\t(neural_circuit_path ?x ...s ?y)))) "^^ . . "A relation that holds between two neurons connected directly via a synapse, or indirectly via a series of synaptically connected neurons."@en . . "in neural circuit with"@en . . . "David Osumi-Sutherland"@en . .