Uncontradicted informationassume we have k input trees

a

b

a and b co-occur

in a tree

a and b nested

in a tree

a

b

c

n

c - n -f = 0 ? uncontradicted (if c = k then unanimous)

c - n - f > 0 ? contradicted

a

b

a and b in a fan

f

Previous slide

Next slide

Back to first slide

View graphic version