Text this: Towards incremental reasoning for context aware systems

 _    _     _____     _____     _____     _____   
| || | ||  |  ___||  / ____||  |  ___||  /  ___|| 
| || | ||  | ||__   / //---`'  | ||__   | // __   
| \\_/ ||  | ||__   \ \\___    | ||__   | \\_\ || 
 \____//   |_____||  \_____||  |_____||  \____//  
  `---`    `-----`    `----`   `-----`    `---`