missing end construction

I'm sure many of you have noticed that the "Formulae" example in my last email is missing
    } # end forSome c1

That's what I get for not checking it with "Knowledge Explorer" before I emailed it.
============ 
Dick McCullough 
knowledge := man do identify od existent done
knowledge haspart list of proposition