component T class graph G provides {aspectual} expects {normal} classes {T1} attachment (Y) on B