Load rule is almost reified, except the conclusion part which is again about nested_efield.