/svg>
M ∧ (S ∧ W)
M ∧ W
?
M
S ∧ W
M ∧ W
?
M
S
W
M ∧ W
?
M
S
W
M
?
M
S
W
W
?
M
S
W
W
?
argument tree
•
1
•
2
•
3
•
4
•
5
•