@LLTommy mentioned that I might have been using the terminology a bit out of step with the community across the spec;

@ernestojimenezruiz @cmungall is this correct:

1. we should call the term-predicate-term tuples matches
2. a mapping is a set of matches from one term set to another. A term set could be, for example, the signature of a branch in the ontology.