Store assertions as vector
Add nary disjunction