(=>
(and
(instance ?VISITOR Human)
(instance ?QPVIEWS Collection)
(forall (?PAGE ?ACCESSING ?EXPERIMENT)
(=>
(and
(instance ?PAGE WebPage)
(instance ?ACCESSING AccessingWebPage)
(instance ?EXPERIMENT Experimenting)
(agent ?ACCESSING ?VISITOR)
(patient ?ACCESSING ?PAGE)
(treatedPage ?PAGE ?EXPERIMENT))
(member ?ACCESSING ?QPVIEWS))))
(equal ?QPVIEWS
(QPViewsFn ?VISITOR))) |
UXExperimentalTerms.kif 4175-4190 |
|