open set subgroup of set, 2 assertions
HasA 1
all but finitely many p… 0.84
ReceivesAction 1
generated by open inter… 0.84