Write in first order logic the assertion that every key and at least one of every pair of socks will eventually be lost forever, using only the following vocabulary: Key(x), x is a key; Sock(x), x is a sock; Pair(x,y), x and y are a pair; Now the current time; Before(t1, t2), time t1 comes before t2; Lost(x,t), object x is lost at time t.

8.22 Write in first-order logic the assertion that every key and at least one of every pair of socks will eventually belost forever, using only thefollowing vocabulary. Key(r), ris a key, Sock(r), r is a sock; Pair(r,y), r and y are a pair, Now, the current time, Before(ti,t2), time ti comes before time t2, Lost(r, t), object r is lost at time t