l E Aug o o B -> 
l + Aug o o B -> 
l E Aug o o B -> 
l E Aug o o B -> 
l E Aug o o B -> 
l ( Aug o o B ->