code: static boolean find(
              Map<List<TemporalExtendedPropositionDefinition>, Relation> epdToRelation,
              List<List<TemporalExtendedPropositionDefinition>> epdPairs,
              Map<TemporalExtendedPropositionDefinition, TemporalProposition> potentialInstance) {
  
          /*
           * Loop through the abstraction definition pairs for each defined
           * relation. If a relation is not found, then set found to false.
           */
          for (List<TemporalExtendedPropositionDefinition> tepd : epdPairs) {
              if (!hasRelation(epdToRelation, potentialInstance, tepd)) {
                  return false;
              }
          }
  
          return true;
      }
docs: Determines if a list of abstract parameters satisfies a complex
  abstraction definition.
  
  @param def
  the {@link HighLevelAbstractionDefinition} that we're looking
  for.
  @param potentialInstance
  a {@link List} of {@link TemporalProposition} objects
  containing one instance of each component abstraction
  definition in <code>def</code>.
  @return <code>true</code> if <code>def</code> was found,
  <code>false</code> otherwise. It also returns <code>true</code>
  if no relations are defined.