An extended syllogistic system with verbs and proper nouns, and its completeness proof. - Noritaka Nishihara; Kenichi Morita; Shigenori Iwata (Syst. Comput. Jpn., 1990)