Ex.Ey.(p(x, y) & ~p(y, x) & ~p(f(x), y))



In no Herbrand Universe

       was there ever sorrow

       like this

I am reminded of a blocks world,
under a domain of
       infinite discourse
where inductive relationships,
       like tears
       falter.

SKOLEMIZE ME WITH FIRE, there will be no
Conflict Resolution.
       Reify my soul.
              This cage defines the Standard
Axiom Schemata. What can you do? See slide
154, lecture 17 -- you will find

              nothing.

Subsume all rational factors.
       Extract all strategies.
              Order your resolutions.
       This model will not be eliminated.
                      when all the
       paramodulation
              is said and done
you lose your set of support

                             FORMALIZE THAT.

what heart can find solace in

       embracing

              the

empty

       clause.
 
 
 
-        John Shedletsky
 
       “SKOLEMIZE ME WITH FIRE”
       Composed in the aftermath of CS154
       Stanford, 2005