Asa H natural language processing

I have given Asa H enough natural language capability (see blogs of 4 May, 24 May, 1 April and 12 March 2013) that when it is told in natural language that:

man     is_a     mortal

and

Bob     is_a     man

it concludes and records that:

Bob     is_a     mortal