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

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

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

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