.composeWith(substitutionFactory.getSubstitution(predicateVariable, predicateTerm)); TargetAtom newTarget = m.target.changeSubstitution(newSubstitution);
.composeWith(substitutionFactory.getSubstitution(predicateVariable, predicateTerm)); TargetAtom newTarget = m.target.changeSubstitution(newSubstitution);