abductiveReasonerClass