SECTION 3.3. A BENEFIT, SINCE IT GIVES MORE OPPORTUNITY FOR ENFORC-

4. If not V

1

and not V

2

and

Top answer rank TREC11 TREC12

type(T)

SOFT

R

EFUTATION

,

1 170 108

if S

1

> a

2,

, return C

1

else nil

2 35 32