TBoxSpec.groovy

class TBoxSpec extends DLSpec {
  def ⊑ (Object left, Object right) {
    def rule = [:]
    ['left':left, 'right':right].each { i, block ->
      if(block instanceof String) {
        rule[i] = [
          'type': 'literal',
          'value': block,
          'negate': negate
        ]
      } else if(block instanceof Closure) {
        def dl = new DLSpec(isInstance: true)
        def code = block.rehydrate(dl, this, this)
        code.resolveStrategy = Closure.DELEGATE_ONLY
        code()
        rule[i] = dl.structure[0]
      }
    }

    rule['type'] = 'gci'

    structure << rule
  }

  def ≡ (Object left, Object right) {
    def rule = [:]
    ['left':left, 'right':right].each { i, block ->
      if(block instanceof String) {
        rule[i] = [
          'type': 'literal',
          'value': block,
          'negate': negate
        ]
      } else if(block instanceof Closure) {
        def dl = new DLSpec(isInstance: true)
        def code = block.rehydrate(dl, this, this)
        code.resolveStrategy = Closure.DELEGATE_ONLY
        code()
        rule[i] = dl.structure[0]
      }
    }

    rule['type'] = 'equivalence'

    structure << rule
  }
}