theorem :: GLIB_003:3
( WeightSelector = 5 & ELabelSelector = 6 & VLabelSelector = 7 ) ;