Table enclInReftype

predicate enclInReftype(@reftype child, @reftype parent)