implemented component assertions and concept queries