buq = boolean or (verb) : || | Binary logical function OR, true if either input is true or both are true. | buq (boolean value 1) (boolean value 0)<br />uq = cardinalitily equal (verb) :  | for adjective sbj/obj, sbj is to the same extent as obj; for set sbj/obj, sbj's cardinality == obj's cardinality | uq (set/adj 1) (set/adj 2)<br />