"David Osumi-Sutherland"@en . . . . . . "A relation that holds between a neuron that is synapsed_to another neuron or a neuron that is connected indirectly to another by a chain of neurons, each synapsed_to the next."@en . . "(forall (?x ?y) \n\t(iff \n\t\t(downstream_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(synapsed_by ?x ?y))))\n\n\n(forall (...s ?x ?y ?z) \n\t(iff \n\t\t(downstream_neural_circuit_path ...s ?x ?y ?z )\n\t\t(and\n\t\t\t(downstream_neural_circuit_path ...s ?x ?y)\n\t\t\t(\"neuron ; CL_0000540\" ?z)\n\t\t\t(synapsed_by ?y ?z))))\n\t\t\t\n(forall (?x ?y) \n\t(iff \n\t\t(downstream_in_neural_circuit_with ?x ?y)\n\t\t(exists (...s)\n\t\t\t(downstream_neural_circuit_path ?x ...s ?y)))) \n\t\t\t"^^ . "downstream in neural circuit with"@en .