PPT Slide
4) x man( x ) mortal( x )
5) x Pompeian( x ) died( x, 79 )
6) erupted( volcano, 79 )
7) x t1 t2 mortal( x ) born( x, t1 )
gt( t2 - t1, 150 ) dead( x, t2 )
9) x t [ alive( x, t ) dead( x, t ) ]
[ dead( x, t ) alive( x, t ) ]
10) x t1 t2 died( x, t1 ) gt( t2, t1 )