Note to semantical interpretation of non-trivial syllogisms with intermediate quantifiers | IEEE Conference Publication | IEEE Xplore