Transitive pattern (Marvin disguised himself) | |||
---|---|---|---|
Plan ⇒ | Event | 1st argument | 2nd argument (Refl) |
DISGUISE ⇒ | DISGUISE ⇒ | DISGUISE | |
<…> | <m…> | <m x> | |
AG | AG PAT | ||
↳m |
Transitive pattern (Marvin disguised himself) | |||
---|---|---|---|
Plan ⇒ | Event | 1st argument | 2nd argument (Refl) |
DISGUISE ⇒ | DISGUISE ⇒ | DISGUISE | |
<…> | <m…> | <m x> | |
AG | AG PAT | ||
↳m |