An Experiment on Mizar Adjectives with Extra Visible Arguments | IEEE Conference Publication | IEEE Xplore