add
plosemo, finished (!tested)
swunql1 reasoner in progress