==> RUN on access_rt2_typed YAP dump succeed ===good============ Alpha.access(read,fileA)<-?-Bob yap 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 YAP query failed prover failed!! ===good============ Alpha.team(proj2)<-?-Joe yap YAP query succeed prover success!! credentials needed : pAlpha.team('proj2') <- pJoe ==> RUN on acme_friend_rt1_typed YAP dump succeed ===bad============ Acme.friendOf(Roadrunner) <- Coyote yap YAP query failed prover failed!! ===good============ Acme.friendOf(Roadrunner) <- Jackrabbit yap YAP query succeed prover success!! credentials needed : pAcme.friendOf(pRoadrunner) <- pJackrabbit ===good============ Acme.preferred_customer <- Jackrabbit yap YAP query succeed prover success!! credentials needed : pAcme.preferred_customer <- pAcme.friendOf(pRoadrunner) pAcme.friendOf(pRoadrunner) <- pJackrabbit ===good============ Acme.preferred_customer <- Coyote yap YAP query succeed prover success!! credentials needed : pAcme.preferred_customer <- pCoyote ===bad============ Acme.preferred_customer <- badCoyote yap yyerror: encountered an invalid SHA id prover failed!! ==> RUN on acme_rockets_intersection_rt0_typed YAP dump succeed ===good============ Acme.buy_rockets <- Coyote yap 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 YAP query failed prover failed!! ===bad============ 99Acme.buy_rockets <- Coyote yap yyerror: encountered an invalid SHA id prover failed!! ===bad=============== Acme.buy_rockets <- Batman yap YAP query failed prover failed!! ==> RUN on acme_rockets_rt0_typed YAP dump succeed ===good============ Acme.preferred_customer <- Coyote yap YAP query succeed prover success!! credentials needed : pAcme.preferred_customer <- pCoyote ===good=============== Acme.buy_rockets <- Coyote yap YAP query succeed prover success!! credentials needed : pAcme.buy_rockets <- pAcme.preferred_customer pAcme.preferred_customer <- pCoyote ===bad=============== Acme.buy_rockets <- Acme.preferred_customer yap fail, a.r <- b.r query is not implemented yet !!! ===bad=============== Coyote.friend <- Acme yap YAP query failed prover failed!! ==> RUN on alice_rt1_typed YAP dump succeed ===good============ Party.guests <- dourmouse yap YAP query succeed prover success!! credentials needed : pParty.guests <- pParty.friendOf(pMarchHare) pParty.friendOf(pMarchHare) <- pDormouse ===bad============ Party.guests <- hatter yap YAP query failed prover failed!! ==> RUN on alumni2_rt1_typed YAP dump succeed ===good============ stateU.foundingAlumni <- Bob yap YAP query succeed prover success!! credentials needed : pStateU.foundingAlumni <- pStateU.diploma(_,Year:[1963,1961,1960]) pStateU.diploma('mathmatics',1961) <- pBob ===bad============ stateU.foundingAlumni <- Maryann yap YAP query failed prover failed!! ===bad============ stateU.foundingAlumni <- Joe yap YAP query failed prover failed!! ==> RUN on alumni3_rt1_typed YAP dump succeed ===good============ stateU.foundingAlumni <- Bob yap YAP query succeed prover success!! credentials needed : pStateU.foundingAlumni <- pStateU.diploma(D:['psychology','mathmatics'],Year:[1963,1961,1960]) pStateU.diploma('mathmatics',1961) <- pBob ===bad============ stateU.foundingAlumni <- Mark yap YAP query failed prover failed!! ===bad============ stateU.foundingAlumni <- Joe yap YAP query failed prover failed!! ===bad============ stateU.foundingAlumni <- Maryann yap YAP query failed prover failed!! ===good============ stateU.foundingAlumni <- Jan yap YAP query succeed prover success!! credentials needed : pStateU.foundingAlumni <- pStateU.diploma(D:['psychology','mathmatics'],Year:[1963,1961,1960]) pStateU.diploma('psychology',1960) <- pJan ==> RUN on alumni_rt1_typed YAP dump succeed ===bad============ stateU.foundingAlumni <- Bob yap YAP query failed prover failed!! ===good============ stateU.foundingAlumni <- Maryann yap YAP query succeed prover success!! credentials needed : pStateU.foundingAlumni <- pStateU.diploma(_,Year:[1955..1958]) pStateU.diploma('psychology',1956) <- pMaryann ==> RUN on evaluator_rt1_typed YAP dump succeed ===good============ USC.evaluatorOf(Maryann) <- John yap YAP query succeed prover success!! credentials needed : pUSC.evaluatorOf(K) <- pUSC.managerOf(K) pUSC.managerOf(K) <- pISI.managerOf(K) pISI.managerOf(pMaryann) <- pJohn ===good============ USC.evaluatorOf(Maryann) <- John yap YAP query succeed prover success!! credentials needed : pISI.managerOf(pMaryann) <- pJohn ===good============ USC.employee <-?- John yap YAP query succeed prover success!! credentials needed : pUSC.employee <- pISI.employee pISI.employee <- pJohn ==> RUN on experiment_create_rt0_typed YAP dump succeed ===good=============== Globotron.admin <- Alice yap YAP query succeed prover success!! credentials needed : pGlobotron.admin <- pAlice ===bad=============== Globotron.admin <- Bob yap YAP query failed prover failed!! ===good=============== Acme.experiment_create <- Bob yap 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_typed YAP dump succeed ===good============ alpha.read(fileA) <- Bob yap 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 YAP query failed prover failed!! ==> RUN on fruits_rt2_typed YAP dump succeed ===good============ mary.what2eat <- navel orange yap 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 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 YAP query failed prover failed!! ===good============ ralphs.fruitprice(1.50) <- apple yap YAP query succeed prover success!! credentials needed : pRalphs.fruitprice(1.50) <- 'apple' ===bad============ ralphs.fruitprice(1.50) <- green apple yap YAP query failed prover failed!!