Ascent++
Search
Assertion list
client
(
aspect
of
agent
)
→ AtLocation
Results from
Ascent++
:
1
client
→
AtLocation
→
breach of any obligation
0.27