Assertion list
apartment building (primary) → MadeOf
Results from Ascent++: 1
apartment building → MadeOf → log 0.25