code: private MatchType getMatchType(QuerySolution soln) {
  
          if (soln.contains(EXACT_VAR))
              return LogicConceptMatchType.Exact;
  
          if (soln.contains(SUPER_VAR))
              return LogicConceptMatchType.Plugin;
  
          if (soln.contains(SUB_VAR))
              return LogicConceptMatchType.Subsume;
  
          return LogicConceptMatchType.Fail;
      }
docs: Obtain the type of Match. The bindings indicate the relationship between the destination and the origin
  That is, the subclasses of 'origin' will have a true value at binding 'sub'
  
  @param soln
  @return