By: |
THEN GenConcl (||rcvs(lnk(kind(e));time(e))|| = r) THEN GenConcl (snds(lnk(kind(e));time(e)) = L) |
1 |
11. snds(lnk(kind(e));time(e)) = L ![]() ![]() ![]() ![]() | Auto |
2 |
![]() 11. ||rcvs(lnk(kind(e));time(e))|| = r ![]() ![]() 12. L : Top List 13. snds(lnk(kind(e));time(e)) = L ![]() ![]() ![]() ![]() ![]() ![]() | 1 step |
About:
![]() | ![]() | ![]() | ![]() | ![]() | ![]() | ![]() | ![]() |
![]() | ![]() | ![]() | ![]() | ![]() |