Predefinição:Wdset

{ ∀{{{1}}} ∈ InstancesOf({{{2}}}) }