Reldef

nsdef:reldef

reldef — relation-definition atoms; reldef:<rel> holds a relation's full-spelling description.