A sample of writing a loop in Action Semantic codes

int i = 0; for(; i<10; ++i) { do something; }

allocate a cell  -- 这里没有类型化的内存分配 then    bind i to the given Cell then    give the Cell bound to i then    store the value of 0 in the given Cell -- 注意这里0是字符值 then    unfolding       give the Integer bound to i         and then give(the given Integer is less than the value of 10)            then                 check(the given TruthValue is true)                    and then execute do something                       and then give the Integer bound to i                          and then give sum(the value of 1, the given Integer)                             and then store the given Integer in the Cell bound to i                               and then unfold             or                 check(the given TrueValue is false) and then complete

and then, and, then, or的语义示意图: