Relation DR>

• Defined in theory: Jat-generic
• Source code: job-assignment-generic.lisp

Slots on this relation:

Instance-Of: Relation

Arity: 2

Inverse: Dr<

Other Related Axioms:

(<=> (Dr> $Arg1 $Arg2) (Dr< $Arg2 $Arg1))