A Computational Inquiryon Binding Theory