Consequences must be asserted

Consider the following two representations:

The verb algorithm will search on consequences (results of actions having taken place) of the verb in question only if the consequences are themselves asserted. This may not seem a large concern at first but consider a situation where a consequence is not asserted but instead built. Here is a ficticious example (I actually came across this problem while creating my representations):

The above example builds a cq for a verb that will never be discovered by Ehrlich's verb algorithm because it is not asserted.

There are two possibilites here:

1. Maybe it is possible to assert the ant/cq case frame where I have used build in my example. When I attempted this as a last ditch effort it failed in SNePS so I am thinking I cannot do this. Or maybe it is simply unadvisable to build consequences that are not specifically asserted.

2. Change Ehrlich's verb algorithm so that it reports not only consequences that are asserted but also those that are built.