Implemented conjunction support (our reasoner works on ont2 now, keep giving me new ones)