(=>
(trusts ?A1 ?A2
(capability ?P agent ?A2))
(knows ?A1
(capability ?P agent ?A2))) 
Law.kif 384388 

(=>
(trusts ?A1 ?A2 ?P)
(believes ?A1
(=>
(exists (?S ?PI ?P)
(and
(instance ?S Stating)
(containsFormula ?S
(and
(instance ?PI ?P)
(agent ?PI ?A2)))))
(modalAttribute
(and
(instance ?PI ?P)
(agent ?PI ?A2)) Likely)))) 
Law.kif 400415 

(=>
(trusts ?A1 ?A2 ?P)
(believes ?A1
(modalAttribute
(exists (?PI)
(and
(instance ?PI ?P)
(agent ?PI ?A2))) Possibility))) 
Law.kif 390398 

(=>
(trusts ?A1 ?A2 ?P)
(not
(distrusts ?A1 ?A2 ?P))) 
Law.kif 379382 
