Zusammenfassung der Ressource
sobre(A,B) sobre(B,C)
- sobre (A,B), sujeto B
libreC
- 2. sobre (B,C) sujeto (A)
libre(B)
- 3.sujeto A, libre B,
sujeto B, libre C
- sobre(BC) sujeto(A) rob-libre
- sobre (BC) sujeto(A) sujeto(B)
- 5.sobre(BC) libre(B) libre (A)
en-mesa (A) rob-libre
- sujeto (B),
en-mesa(c), libre (C),
en mesa(A), libre (A)
- en-mesa(C), libre(C),
en-mesa(A), libre(A),
en-mesa(B), libre(B)
- en-mesa (A),
sobre(CA),en-mesa(B),
libre(B)
- sobre(BC) libre(B)
soltar (A)
rob-libre
- sobre(BC) soltar(B) libre
(A) en-mesa (A) rob-libre
- 4. sobre (BC), sujeto (A), sujeto
(B)