public static ReasonerAtomicQuery atomic ( ReasonerAtomicQuery q , ConceptMap sub ) { return q . withSubstitution ( sub ) . inferTypes ( ) ; }
create an atomic query by combining an existing atomic query and a substitution