# Tall Swedes and tall Italians

*p:* Most Swedes are much taller than most Italians. *q:* What is the difference in the average height of Swedes and the average height of Italians?

*Step* 1: Precisiation: translation of *p* into GCL.

*S =* (S_{1},^,S„|: population of Swedes,

*I = {I _{V}...,I*

*„*

*}:*population of Italians,

*g**i **=* ^{hei}g^{ht of S}*u g = (gl ^{,}???^{,}g*

_{m}*)*

^{, }h*j*

*=*height of

*I, h = (h*

_{1},...,h

_{n}*),*

*fi**ij **=* Mmuch.taii_{e}r fe,h;) = degree to which *S** _{i}* is much taller than

*I, r*

_{i}*= ~S*

_{:}*a*

_{i:}*=*Relative SCount of Italians in relation to whom

*S*

*is*

_{i}^{1} *П Г*^{1}) ^{1}

much taller,

*t _{t} =* m

_{mos}t (r) = degree to which

*S*is much taller than most Italians,

_{t}*v =* —*St =* Relative SCount of Swedes who are much taller than

*m *^{1}

most Italians, ts(g, h) = m_{m}ost (v), *p*-*>?* generalized constraint on *S* and I,

*Step* 2: Deduction via extension principle
subject to

# Simplified trip planning

Probably it will take about two hours to get from San Francisco to Monterey, and it will probably take about five hours to get from Monterey to Los Angeles. What is the probability of getting to Los Angeles in less than about seven hours?

subject to