"- - !;;ij":-"»~. . -- - . .- .…
https://cse.buffalo.edu/~rapaport/P…Papers.by.Others/mckayshapiro81.pdf
2 Oct 2003:
y)]. The remainder of the entriessuperseded by the goal node eventually created for represent the ground literals PARENT(Bill, John),P(x,y,z). ... MarIII,Sarah/.) ,'. ',-:- -- (John/x,aarah/111 (JobO/I,Sarab/.lf. -.OCESTOR(',I) 'UCISTORC".) -> OCESTORCx.)