(=>
(instance ?PROFILE VisitorProfile)
(exists (?USER ?SITE)
(and
(instance ?USER Agent)
(instance ?SITE WebSite)
(forall (?FORMULA)
(=>
(and
(member ?FORMULA ?PROFILE)
(instance ?FORMULA Formula))
(visitorParameter ?USER ?FORMULA ?SITE)))))) 
UXExperimentalTerms.kif 13341345 
