5.1
WNDS: Win98 4.10.67766446 ( A ) [5.1.0.19991101]
SntF
C970132999105D970133776378C983981152961D983982237505D983982741492D983982783075D983983262216
S14086
10
Tet(a) & Medium(a)Dodec(b) | Dodec(c)Larger(b, a) & Smaller(e, f)~Tet(c) & ~Small(c)~(Tet(c) & Small(c))(Small(b) | Small(c)) & (Between(d, c, e) | SameRow(d, e)); Notice the ambiguity of this English sentence: 
;                 c is large and d is a dodecahedron or b is large.
; If we try to translate "word for word" into FOL, observe what happens:
                    Large(c) & Dodec(d) | Large(b); We need to use parentheses in FOL to disambiguate it.  Here's one reading (with 'or' as
; the main connective):

        (Large(c) & Dodec(d)) | Large(b); Notice what happens when we use 'and' as the main connective:

 Large(c) & (Dodec(d) | Large(b)); Where all the connectives are 'and's, we don't need parentheses:

Tet(f) & Larger(f, e) & LeftOf(b, f)