Anchor: If they are not auctioned, should they be allocated based on heat input or electrical and steam output?
Entailed: If they're not auctioned, should they allocate based on heat iput or electric or steam output 
Contradiction: If they are auctioned they should allocate based on heat input 
Contradiction: A woman is sitting next to a horse.
Contradiction: The lawyer paused, then continued talking.
Contradiction: They are.
Contradiction: A person goes for a bike ride.