other,15-3-P86-1038,bq structures </term> can be regarded as <term> logical formulas </term> , and interpreted by sets of <term>
hide detail