EFO expansion of condition terms