	modified:   deduction_tree.pl 		Backtracking for left connectives needed because they can be 		expanded only once.
	modified:   deduction_tree.pl
		Backtracking for left connectives needed because they can be
		expanded only once.

rispoli/acl-lean,rispoli/acl-lean