Each source in an as-graph specifies with its annotation the type of the as-graph which is plugged into it via APP.
for a source a, we may only a-apply G P with G A if the annotation of the a-source in G P matches the type of G A .