Find!
x1 is autistic in aspect x2 (ka).
x2 is the "symptoms" / properties that x1 satisfies because of their autism (or from another perspective: atmi1 satisfying all of their possible atmi2 *is* their autism).