Assertion list
model (primary) → AtLocation
Results from Ascent++: 5
model → AtLocation → development 0.58
model → AtLocation → accordance 0.55
model → AtLocation → good agreement 0.54
model → AtLocation → the air 0.45
model → AtLocation → the literature 0.38