sentence1: in future work , we plan to explore more fully the semantics of modification , and to pursue the addition of a type system to the logic .
sentence2: in future work , we plan to explore more fully the semantics of modification , and to pursue the addition of a type system to the logic to treat quantifiers analogously to cite-p-9-4-3 , cite-p-9-4-4 .