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