ganglion nervi trigemini; ganglion of trigeminal nerve; ganglion semilunare; ganglion trigeminale; Gasser's ganglion; gasserian ganglion; semilunar ganglion; tenia nervosa; trigeminal ganglion