#  Two variables and some bnodes
#
@keywords is, a .

Juno says  { Mars too Successful }.

@forAll x.

{ Juno says  { Mars too x } } =>  { test a x }.


#ends