Interactive Model Expansion in an Observable Environment