Text this: The goal-directed inheritance reasoning problem belongs to NC C.T.I. Technical Report TR 94.06.38