==> RUN on access_rt2 ===good============ Alpha.access(Read,fileA)<-?-Bob YAP query succeed prover success!! credentials needed : pAlpha.access('Read',F:pAlpha.documents(P)) <- pAlpha.team(P) pAlpha.documents('proj1') <- 'file//fileA' pAlpha.team('proj1') <- pBob ===bad============ Alpha.access(Read,fileA)<-?-Joe YAP query failed prover failed!! ===good============ Alpha.team(proj2)<-?-Joe YAP query succeed prover success!! credentials needed : pAlpha.team('proj2') <- pJoe ==> RUN on acme_friend_rt1 ===bad============ Acme.friendOf(Roadrunner) <- Coyote YAP query failed prover failed!! ===good============ Acme.friendOf(Roadrunner) <- Jackrabbit YAP query succeed prover success!! credentials needed : pAcme.friendOf(pRoadrunner) <- pJackrabbit ===good============ Acme.preferred_customer <- Jackrabbit YAP query succeed prover success!! credentials needed : pAcme.preferred_customer <- pAcme.friendOf(pRoadrunner) pAcme.friendOf(pRoadrunner) <- pJackrabbit ===good============ Acme.preferred_customer <- Coyote YAP query succeed prover success!! credentials needed : pAcme.preferred_customer <- pCoyote ===bad============ Acme.preferred_customer <- badCoyote yyerror: encountered an invalid SHA id prover failed!! ==> RUN on acme_rockets_intersection_rt0 ===good============ Acme.buy_rockets <- Coyote YAP query succeed prover success!! credentials needed : pAcme.buy_rockets <- pAcme.preferred_customer & pWarnerBros.character pAcme.preferred_customer <- pCoyote pWarnerBros.character <- pCoyote ===bad============ Acme.bad_buy_rockets <- Coyote YAP query failed prover failed!! ===bad============ 99Acme.buy_rockets <- Coyote yyerror: encountered an invalid SHA id prover failed!! ===bad=============== Acme.buy_rockets <- Batman YAP query failed prover failed!! ==> RUN on acme_rockets_rt0 ===good============ Acme.preferred_customer <- Coyote YAP query succeed prover success!! credentials needed : pAcme.preferred_customer <- pCoyote ===good=============== Acme.buy_rockets <- Coyote YAP query succeed prover success!! credentials needed : pAcme.buy_rockets <- pAcme.preferred_customer pAcme.preferred_customer <- pCoyote ===bad=============== Acme.buy_rockets <- Acme.preferred_customer fail, a.o <- b.o and a.r <- a.r query is not implemented yet !!! ===bad=============== Coyote.friend <- Acme YAP query failed prover failed!! ==> RUN on alice_rt1 ===good============ Party.guests <- dourmouse YAP query succeed prover success!! credentials needed : pParty.guests <- pParty.friendOf(pMarchHare) pParty.friendOf(pMarchHare) <- pDormouse ===bad============ Party.guests <- hatter YAP query failed prover failed!! ==> RUN on alumni2_rt1 ===good============ stateU.foundingAlumni <- Bob YAP query succeed prover success!! credentials needed : pStateU.foundingAlumni <- pStateU.diploma(_,Year:[1960,1961,1963]) pStateU.diploma('mathmatics',1961) <- pBob ===bad============ stateU.foundingAlumni <- Maryann YAP query failed prover failed!! ===bad============ stateU.foundingAlumni <- Joe YAP query failed prover failed!! ==> RUN on alumni3_rt1 ===good============ stateU.foundingAlumni <- Bob YAP query succeed prover success!! credentials needed : pStateU.foundingAlumni <- pStateU.diploma(D:['mathmatics','psychology'],Year:[1960,1961,1963]) pStateU.diploma('mathmatics',1961) <- pBob ===bad============ stateU.foundingAlumni <- Mark YAP query failed prover failed!! ===bad============ stateU.foundingAlumni <- Joe YAP query failed prover failed!! ===bad============ stateU.foundingAlumni <- Maryann YAP query failed prover failed!! ===good============ stateU.foundingAlumni <- Jan YAP query succeed prover success!! credentials needed : pStateU.foundingAlumni <- pStateU.diploma(D:['mathmatics','psychology'],Year:[1960,1961,1963]) pStateU.diploma('psychology',1960) <- pJan ==> RUN on alumni_rt1 ===bad============ stateU.foundingAlumni <- Bob YAP query failed prover failed!! ===good============ stateU.foundingAlumni <- Maryann YAP query succeed prover success!! credentials needed : pStateU.foundingAlumni <- pStateU.diploma(_,Year:[1955..1958]) pStateU.diploma('psychology',1956) <- pMaryann ===good============ stateU.foundingAlumni <- Joe YAP query succeed prover success!! credentials needed : pStateU.foundingAlumni <- pStateU.diploma(_,Year:[1955..1958]) pStateU.diploma('zoology',1955) <- pJoe ==> RUN on balltime_rt2 ===good============ league.stadium(access,true,20120128T130000)<-?-john YAP query succeed prover success!! credentials needed : pLeague.stadium('access',true,F:pLeague.gametime(T)) <- pLeague.players(T) pLeague.gametime('north') <- 20120228T130000 pLeague.players('north') <- pJohn ===bad============ league.stadium(access,true,20120128T110000)<-?-mark YAP query failed prover failed!! ===good============ league.stadium(access,true,20120128T080000)<-?-mark YAP query succeed prover success!! credentials needed : pLeague.stadium('access',B:[true],F:[20120228T080000..20120228T090000]) <- pLeague.players(T) pLeague.players('south') <- pMark ==> RUN on evaluator_rt1 ===good============ USC.evaluatorOf(Maryann) <- John YAP query succeed prover success!! credentials needed : pUSC.evaluatorOf(K) <- pUSC.managerOf(K) pUSC.managerOf(K) <- pISI.managerOf(K) pISI.managerOf(pMaryann) <- pJohn ===good============ ISI.managerOf(Maryann) <- John YAP query succeed prover success!! credentials needed : pISI.managerOf(pMaryann) <- pJohn ===good============ USC.employee <-?- John YAP query succeed prover success!! credentials needed : pUSC.employee <- pISI.employee pISI.employee <- pJohn ==> RUN on experiment_create_rt0 ===good=============== Globotron.admin <- Alice YAP query succeed prover success!! credentials needed : pGlobotron.admin <- pAlice ===bad=============== Globotron.admin <- Bob YAP query failed prover failed!! ===good=============== Acme.experiment_create <- Bob YAP query succeed prover success!! credentials needed : pAcme.experiment_create <- pAcme.partner.experiment_create pAcme.partner <- pGlobotron pGlobotron.experiment_create <- pGlobotron.admin.power_user pGlobotron.admin <- pAlice pAlice.power_user <- pBob ==> RUN on file_read_rt2 ===good============ alpha.read(fileA) <- Bob YAP query succeed prover success!! credentials needed : pAlpha.read(F) <- pAlpha.managerOf(E:pAlpha.ownerOf(F)) pAlpha.ownerOf('file://fileA') <- pJoe pAlpha.managerOf(pJoe) <- pBob ===bad============ alpha.read(fileA) <- Maryann YAP query failed prover failed!! ==> RUN on fruits_rt2 ===good============ mary.what2eat <- navel orange YAP query succeed prover success!! credentials needed : pMary.what2eat <- pRalphs.fruitprice(P:[..2.00]) pRalphs.fruitprice(0.50) <- 'navel orange' ===good============ mary.what2eat <- kiwi YAP query succeed prover success!! credentials needed : pMary.what2eat <- pRalphs.fruitprice(P:[..2.00]) pRalphs.fruitprice(1.50) <- 'kiwi' ===bad============ bob.what2eat <- navel orange YAP query failed prover failed!! ===good============ ralphs.fruitprice(1.50) <- apple YAP query succeed prover success!! credentials needed : pRalphs.fruitprice(1.50) <- 'apple' ===bad============ ralphs.fruitprice(1.50) <- green apple YAP query failed prover failed!! ==> RUN on leader_rt1 ===yes============ geni.leader <- Bob YAP query succeed prover success!! credentials needed : pGeni.leader <- pBob ===no============ geni.leader <- Jack YAP query failed prover failed!! ===yes============ geni.leader <- Joe YAP query succeed prover success!! credentials needed : pGeni.leader <- pGeni.equivalent(P:pGeni.leader) pGeni.leader <- pBob pGeni.equivalent(pBob) <- pJoe ==> RUN on payraise_rt1 ===bad============ alpha.payRaise <- Joe YAP query failed prover failed!! ===good============ alpha.payRaise <- Maryann YAP query succeed prover success!! credentials needed : pAlpha.payRaise <- pAlpha.evaluatorOf(This).goodPerformance & pAlpha.managerOf(This).niceCoworker pAlpha.evaluatorOf(pMaryann) <- pBob pBob.goodPerformance <- pMaryann pAlpha.managerOf(Z) <- pAlpha.evaluatorOf(Z) pBob.niceCoworker <- pMaryann ==> RUN on acme_multi_rt0 ===good============ Acme.preferred_customer <- Coyote YAP query succeed prover success!! credentials needed : pAcme.preferred_customer <- pCoyote ===good=============== Acme.buy_rockets <- Coyote YAP query succeed prover success!! credentials needed : pAcme.buy_rockets <- pAcme.preferred_customer pAcme.preferred_customer <- pCoyote another proof!! credentials needed : pAcme.buy_rockets <- pAcme.worst_lucked pAcme.worst_lucked <- pCoyote no more!! ===bad=============== Acme.buy_rockets <- Acme.preferred_customer fail, a.o <- b.o and a.r <- a.r query is not implemented yet !!! ===bad=============== Coyote.friend <- Acme YAP query failed prover failed!!