Switch to inner triples for inheritance checks