Transitive resolution is a problem that is slightly different in every language, but still mostly the same general logic